/7?
m
Let d be ((3 - 1) + -3)/((-2)/342). Let n = 2215/13 - d. Is -2 equal to n?
False
Suppose 0 = -28*b + 247 - 247. Which is smaller: b or -2/1495?
-2/1495
Let u be (36/27)/(1/3). Let j(o) = o**2 - 3*o - 5. Let q be j(u). Let y be q/(-2)*-2 + 1. Is -1/3 <= y?
True
Suppose 3 = 4*a + 7. Let w = -737/2208 + 7/96. Is w at least a?
True
Let u = -68502682/1721 + 39804. Which is bigger: u or 0?
u
Let q = -6.262 + -0.038. Which is bigger: 1 or q?
1
Let t = -13 - -16. Suppose 12 = t*o + 3. Let x be ((-18)/(-63))/(o - 0). Is x less than 1?
True
Let s = -352 + 3874/11. Which is greater: s or -18?
s
Suppose 2*z = 3*d - 56 - 92, 215 = 5*d + 3*z. Let j = d + -46. Is -2/5 <= j?
True
Let z be 25/((-12375)/308) + (-2)/(-5). Which is smaller: z or -2.12?
-2.12
Let s be (-72)/(-90)*(1 + -2 - 36/(-56)). Let z = 26 - 26.44. Let y = z - -0.5. Which is bigger: s or y?
y
Let p = 3 + -4. Suppose -7*t + 126 + 70 = 0. Suppose -7*u = -4*c - 12*u - t, -5*u = -5*c + 10. Do p and c have the same value?
False
Let m be 36/(-27)*-3 - (-4)/(-1). Which is bigger: 2/381 or m?
2/381
Let u = -286 - -287. Is u at least 26/17?
False
Let t = -36 + 49. Let w be (-2)/t - 108/(-26). Is w equal to 7/2?
False
Let p be ((-271)/(-12))/((-36)/6). Let g = 35/9 + p. Which is smaller: g or 1?
g
Let s = -0.034 - 0. Let b = -0.034 - s. Which is bigger: b or 55?
55
Let m be -14 + 2 + 62 + -36. Are m and 17 nonequal?
True
Let c = 2.65 + 19.29. Let t = -46 - -68. Let g = c - t. Is g smaller than -1?
False
Let h = -41517/11 - -3775. Let w be (-2)/6 + 14/24. Is h bigger than w?
True
Suppose -43 = 5*w + 57. Let u be (2/10)/(32/w - -2). Is u not equal to -5?
True
Let n = 0.1 - -0.3. Let j = n - 0.1. Let a = 0.1 - j. Which is smaller: a or 0?
a
Let z be (-10)/158*(-15)/25. Which is bigger: 0 or z?
z
Let i = 236/171 + -60/19. Suppose 0 = 4*x + 25 - 21. Do i and x have different values?
True
Let b be (-20)/6*12/64. Let t be -1 + 8 - (16 + -9). Which is greater: b or t?
t
Let b(k) = -k**3 - 20*k**2 + 16*k - 104. Let c be b(-21). Is -2/1359 equal to c?
False
Let d(p) = -9*p**2 + 6*p - 6. Let g be d(3). Let s = 68 + g. Which is smaller: s or 3?
s
Let m = -71 - -118. Let h be m/(-45) - (1 + -2). Let i be -24 + 30 - 1*10/2. Does i = h?
False
Let c = -209519/606396 + 2/7219. Let u = -2/21 - c. Which is smaller: 1 or u?
u
Let g = -11 + 14. Let i be ((-1 + 1)/(-4))/(-1). Suppose 8*x - g*x = i. Which is bigger: x or 2?
2
Let a = -56 + -57. Let t = 335/3 + a. Which is greater: t or 1/6?
1/6
Suppose 0 = 3*k - o + 15, 4*k + 2*o + 15 = -15. Let g be (k/4)/((-24)/32). Suppose 3*m = g*s - 15, m + 15 = 5*s - 2*m. Which is smaller: s or -1/2?
-1/2
Suppose 0 = 6*k - 10 - 2. Suppose 3*w = -k*p + 6*p + 167, -4*w - p = -248. Let x = w + -34. Which is bigger: 26 or x?
x
Let g be 4 + -2 + -3*1. Let l be 5/4*g/5. Let q = -9 + 8.8. Which is bigger: q or l?
q
Let p be -4*((-34)/8 - -3). Suppose p*s + 4*k = -7 - 26, 11 = -s - 3*k. Is s greater than 0.01?
False
Let j be 93/9 + (-2)/(-3). Let l(n) = -16 + j - n + 6. Let g be l(-4). Is 5 bigger than g?
False
Let v = 2263/1804 - 2/451. Let x = -8 - -13. Let f = x - 3. Which is smaller: f or v?
v
Let j = 62 - 45. Let k = 3 - j. Which is bigger: k or 0.2?
0.2
Let v = -11.968 + 6.895. Let a = 0.073 + v. Which is greater: 0.2 or a?
0.2
Suppose 5*d = -0*d + 15. Let q be (0 + 1)/((-3)/d). Suppose -220*v = -184*v + 72. Is q less than v?
False
Let u = -12188 + 5448040/447. Is 0 <= u?
True
Suppose 60 - 60 = -3*r. Let b be (-5*101)/((-42)/(-46)). Let h = -553 - b. Is h greater than r?
True
Let y(a) = -4*a - 36. Let d(r) = r**2 - 6*r + 2. Let h be d(3). Let k be y(h). Which is smaller: -5 or k?
k
Let m = 0.98 - 0.01. Is m at least 0.6?
True
Let h be 1110/(-135) - (1 - 9). Let u = 6 + 4. Suppose -u = -r - 2*n, 0*n + 5 = n. Do r and h have the same value?
False
Let v be 16/352*((-3)/19 - 0). Is -1 > v?
False
Suppose -i - 10 = 3*g + 4, -2*g - 14 = i. Let h = -35 - i. Is -20 less than or equal to h?
False
Let t(r) = 4*r**3 - 4*r**2 - 8*r - 4. Let o be t(5). Is o < 357?
True
Let j(x) = 3*x - 6. Suppose 3*v = 6*v - 12. Let b be j(v). Let m = -8 + b. Which is smaller: -4 or m?
-4
Let z be (-69 + -7)*(2 + (-83)/42). Which is greater: z or -3?
z
Suppose -2*a + 4*q + q + 5 = 0, -4 = 4*q. Let t be (-6)/51 + (-2712)/68. Let u be (2/8)/(12/t). Which is smaller: u or a?
u
Let r be 2/((-8)/(-678))*(-164)/246. Which is smaller: r or -114?
-114
Let s(y) = 17*y**2 + 6*y - 13. Let z be s(2). Suppose -5*h = -2*u + 51, 2*h + h = 4*u - z. Let l be (12/1)/(-1 + 2). Which is greater: u or l?
u
Let u = -737 + 737. Is u greater than -3.51?
True
Let d(j) = j**2 + 12*j + 31. Let a be d(-8). Is a at least -2/351?
False
Let s = -18 + 13. Let k be (1/3)/(12/768*-4). Is k != s?
True
Suppose 10 = 5*f - 3*f. Is -1 at least as big as f?
False
Suppose 3*l = -68 - 133. Let m = -49 - l. Which is smaller: 19 or m?
m
Let b = 27.6 - 1.6. Let w = 24.79 + 0.41. Let f = b - w. Is f bigger than 1/6?
True
Let y = -0.1973 + -0.8027. Is 53/2 > y?
True
Let h be 10456/160 - 4/(-10). Let y = 66 - h. Which is greater: 1 or y?
1
Let g = -34 + 8. Let z be (1 - (6 + -1) - 0)/g. Which is smaller: z or -2?
-2
Suppose 2*f + 3 = -f. Let d be 7 - (6 - -4) - (-96)/34. Which is smaller: d or f?
f
Let g be 108/81*1038/8. Is g at most 173?
True
Let t(d) = -d**3 + 34*d**2 - 65*d + 32. Let h be t(32). Let a = -57 - -856/15. Which is smaller: a or h?
h
Let s be (6 - (-14)/(-3))*432/92. Which is greater: s or 7?
7
Let i = -3341 + 3335. Suppose 0*f = -3*f. Suppose f*g - 25 = 5*g. Which is bigger: g or i?
g
Suppose -v + 2 = -3. Suppose -2 = -s + 5*y, 5*s - 9*s + 24 = -4*y. Which is smaller: s or v?
v
Let i = -10 - -19. Let q(g) = -150*g**2 - g - 1. Let f be q(-1). Let m = -421/3 - f. Is m smaller than i?
False
Suppose 111 = 2*i + 111. Which is greater: -2/221 or i?
i
Let c be (-2)/(-2 + 8/5). Suppose q + 9 = -c. Let f be (q/35)/(8/(-10)). Do f and -0.1 have different values?
True
Suppose -10*n + 5 = -5*n. Let a(c) = -c**2 + c. Let d be a(n). Let k = 4.4 - 5. Which is greater: d or k?
d
Let x be (-30)/21 - 4/(-2). Let w be 19 + (3 - (10 - 3)). Suppose 0 = 5*c - w + 10. Is x at most c?
True
Let q = 0.02 - 2.02. Let f = -1.66 + -0.34. Let l = q + f. Are l and -2/7 unequal?
True
Let f(k) = -k**3 - 10*k**2 + 14*k - 13. Let r be f(-11). Let l be (-12)/(-66) - r/(-11). Let p be l/6 + (-12)/(-72). Which is smaller: 2/9 or p?
p
Let n = 37 - 36.7. Let i = 20 - 22.8. Is i greater than n?
False
Suppose 3*k + 158 - 50 = 0. Let u be k/(-24)*8/3. Is 4 smaller than u?
False
Suppose 71*b + 27*b = -8820. Which is bigger: -88 or b?
-88
Let b be (-2)/(-7) + (-3276)/147. Let h = 29 + b. Suppose -h*k = -3*k + 8. Are -1 and k non-equal?
True
Let h be 4112/(-704) + -2 + 8. Which is greater: h or -1?
h
Let u(s) be the second derivative of -s**3/6 + 11*s**2/2 - 9*s. Let i be u(6). Suppose -21 + i = -2*a. Do 6 and a have the same value?
False
Suppose 5*f - 5*o - 20 = 0, 2*f - 7 = -0*o + o. Let v be f/12*(-8)/110. Which is smaller: v or -1?
-1
Let k = 16.146 + -1.616. Let a = k - 0.53. Which is bigger: 4 or a?
a
Let o(p) = p**2 - 10*p + 5. Let x be o(14). Let i = -87 + x. Let j = i + 51/2. Is 0 smaller than j?
False
Let w(o) = o - 8. Let u be w(-5). Let y = 97/3 - 33. Which is bigger: y or u?
y
Let k = 673 + -674. Are 765 and k unequal?
True
Let j be 18/(-45) - 2594/(-10). Let a be (-7)/(j/(-2))*(-1 - -2). Which is greater: a or 0?
a
Let t(b) = -b**2 - 4*b + 6. Let r = 1 + -6. Let a be t(r). Let x be (1/3)/(a/6). Is 0.2 >= x?
False
Let f = 29 - 157/5. Suppose 32*l = -q + 35*l - 11, 5 = -4*q - l. Does q = f?
False
Let h = 112.7 - 111. Which is smaller: -8 or h?
-8
Let g(f) = f**3 - 5*f**2 - 5*f - 7. Let t be g(6). Which is smaller: t or -6/91?
t
Let s = -16.1 + 0.1. Let o = s - -6. Let y = 9.6 + o. Is 2/3 at least y?
True
Let s be 12/(-4) + (-31 - 8). Does -38 = s?
False
Let d(i) = i**3 + 10*i**2 + 5. Let n be d(-10). Suppose 3*s - 3 = -n*v - s, 4*v = 5*s - 14. Which is greater: -2/17 or v?
-2/17
Let l be (-581)/(-1848) + 162/(-48) + 3. Suppose c - 2*n + 0 + 2 = 0, -5*n + 5 = -5*c. Suppose c = 5*x - 0*x + 5. Is x greater than l?
False
Suppose 5*t + 73*b = 69*b - 1260, -5*b = -3*t - 793. Is t >= -256?
True
Suppose 0 = -5*k - 0*k. Suppose k = -3*j, -4*n + 55 = n - j. Suppose 6*w = -6*w - 36