r 2/95?
2/95
Let i = 4 + 0. Let s be ((-1)/2)/((-14)/(-28)). Let g be 4 - (s - 4/(-4)). Do g and i have different values?
False
Let z be 1 - ((-1497)/(-9) + 1). Let l = 164 + z. Suppose 119*n - 125*n - 18 = 0. Which is greater: n or l?
l
Let k = 751957/39 + -19281. Suppose n = -i - n + 7, -13 = 5*i - 2*n. Is i < k?
True
Let p be ((-10)/12)/((-2)/3). Let q(m) = m**2 + 36*m - 35. Let y be q(-37). Which is smaller: p or y?
p
Suppose 3*o + 3 = -15. Let y(g) = g + 7. Let v be y(o). Is 2/9 at most as big as v?
True
Let t = -0.234 + 26.234. Let h = -623.09 - -597.1. Let p = t + h. Are p and -2 unequal?
True
Let k be -3 + (4 - -5) + 3. Let g = -21 + 16. Let d(j) = j + 15. Let b be d(g). Is k at least as big as b?
False
Let x(t) = 5*t**2 + 195*t. Let r be x(-39). Which is smaller: r or 1/103?
r
Let h = -209.868 - -211. Let x = 0.132 - h. Do 110 and x have different values?
True
Let k be (4 - 0) + -1 + -1. Suppose 2*v - 7 = 2*n + 31, v + k*n = 4. Suppose -3*f = -6, 0*s - 2*s + 20 = -2*f. Is v at most s?
False
Let a = 16/27 + -4757/54. Is a > -1?
False
Suppose -67*g + 66*g - 10 = 0. Is g at least as big as -8?
False
Let a = 15/38 + -617/1178. Which is smaller: a or -1?
-1
Suppose -2*i - 11 = -i. Which is smaller: -1/6 or i?
i
Suppose 6 = -5*k + 21. Suppose 0 = -3*z - 6*d + 3*d + 9, z - 2*d = -k. Which is greater: 3 or z?
3
Suppose 0 = -v + 3*v - 10. Let h be 18/(-45) - (-24)/10 - -49. Let l = h + -46. Is v >= l?
True
Let z(i) = -i**2 - 19*i + 25. Let r be z(-19). Which is smaller: -2/59 or r?
-2/59
Suppose -7 = -7*y + 56. Suppose -g + 2*p = 3, -3*g = -5*p + 2*p + y. Which is smaller: -4 or g?
-4
Let a(f) = f**3 - 14*f**2 + 12*f + 7. Let z be a(13). Let l be (-230)/(-60) - 1/z. Let m be ((-9)/(-18))/(2/l). Is 2 less than m?
False
Let w = 1323/40 + -166/5. Which is bigger: 0.06 or w?
0.06
Let m = -44.05 - -44. Let y = -0.04 - m. Which is bigger: y or 1?
1
Let b(m) = m**2 + 30*m - 63. Let q be b(-33). Which is greater: 43 or q?
43
Let c = 3541 - 3540. Let u(d) be the second derivative of -d**3/3 + d**2 - d. Let x be u(2). Is c <= x?
False
Let v = -1.4 + 1. Let s = -737.559 - -738. Let c = s - -0.059. Which is bigger: c or v?
c
Let t(b) = 2*b - 19. Let k be t(9). Let m = 21/26 + -383/442. Is m equal to k?
False
Suppose -b + 32 = 2*b - v, 3*b + 5*v = 38. Let q = 10 - b. Which is bigger: -17 or q?
q
Suppose 3*w = -12, w = -3*g + 58 - 23. Let v(c) = 6*c**3 - c**2 + 1. Let b be v(1). Let l be (-5 + -2)*(4 - b). Which is smaller: g or l?
g
Suppose -k + 20 = h + 3*k, -3*h + 4*k + 12 = 0. Let u = 29 + -13. Suppose -3*x - 2*z = -20, 5*x - 2*x + 4*z - u = 0. Is x < h?
False
Suppose 0*x = 3*a + x + 11, a = x - 5. Let y be a + (-4)/28 + 4. Is 0 at most as big as y?
False
Let h(j) = j**2 - 7*j + 9. Let p be h(12). Let w = p + -59. Which is smaller: 9 or w?
9
Let t be (-2)/(-7) + (-32752)/(-101752). Which is smaller: t or 0?
0
Let x(m) = -2*m - 17. Let u(h) = 6*h + 51. Let i(d) = -4*u(d) - 11*x(d). Let z be i(-7). Let a be ((-8)/(-9))/((-2)/6). Is z greater than a?
False
Let f(d) be the first derivative of -d**2/2 + 11*d - 6. Let u be f(9). Which is smaller: 0 or u?
0
Let t = 13 - 11. Let u = 5 - 3. Suppose t*c = -u*c - 16. Is -1 less than or equal to c?
False
Suppose -40 + 0 = -10*v. Suppose 4*t + 1 = -3*y, -v*t - 30 = t - 2*y. Which is smaller: 0.2 or t?
t
Let l = -4.09 - -1.09. Let w = 1.4 - 8.4. Let i = w - l. Which is smaller: -0.1 or i?
i
Let s = 5980/11 - 542. Which is bigger: s or 1?
s
Suppose -2*v = 10, v = 5*s - 3*s - 65. Let f(p) = 3*p. Let g be f(-1). Let n be s/36 - g/6. Which is smaller: n or -1?
-1
Let n = 36.12 + -2.12. Is n < -1/4?
False
Suppose z + 820 = 5*w, -6*w = -3*w - 4*z - 509. Is w bigger than 161?
True
Let q = 46 + -140/3. Suppose -y + 12 = 2*y. Let w = 3 - y. Is q at most w?
False
Let u = 1087 - 1246. Which is greater: 0 or u?
0
Let u = -26 + 25. Let l be 9/(-27) + u/(-3). Is 1/7 bigger than l?
True
Let j be -1*((-10)/4 - -3). Let s(d) = d - 60. Let x be s(6). Which is smaller: x or j?
x
Suppose 5*s = -q + 2 + 3, 4*s - 12 = 0. Let k = q + 7. Let w = k + 4. Which is smaller: -1/21 or w?
-1/21
Let m be (-314 - -2) + 80/20. Is -308 greater than or equal to m?
True
Suppose -4*p + 4780 - 7628 = 0. Which is smaller: p or -713?
-713
Let i(t) = t**2 - t + 2. Let n be i(4). Let q be (n/28)/((-26)/12). Which is smaller: q or -1?
-1
Let f = 0.4 + -2.4. Let c = -149 - -148. Is c > f?
True
Let a be 25*(-4)/(-330)*546/(-5). Which is smaller: a or -32?
a
Let z = 311/63 - 47/9. Let y = 824/105 + -39/5. Which is smaller: y or z?
z
Let v(a) = a**3 + 7*a**2 + 7*a + 4. Let t be v(-4). Let l be 2/(-12) + (-20)/t. Let h be ((-8)/9 + 0)/l. Which is greater: 1 or h?
1
Let p = 131 + -115. Which is smaller: 65/4 or p?
p
Let c = 0.05 + 0.25. Which is smaller: c or 267?
c
Suppose 2*j = -u - 294, 6*u - 222 = j - 75. Is -146 < j?
False
Let o(z) = z**2 + 8*z + 15. Let j(w) = 3*w + 15. Let i be j(-7). Let h be o(i). Let q be (-7)/(h/((-9)/6)). Are q and -2 equal?
False
Let o(q) be the third derivative of -q**5/60 - 3*q**2. Let z be o(0). Let k(c) = 2*c**2 - 15*c + 9. Let i be k(7). Do i and z have the same value?
False
Let v = -50 - -54. Suppose -5 = -i + v. Which is greater: 7 or i?
i
Let c = 20 - 9. Suppose 5*g - y - c = 2*g, -g + y = -3. Let l = -7 - -12. Which is smaller: l or g?
g
Let o be ((-12)/(-15))/(((-9)/45)/1). Are -6 and o nonequal?
True
Let a(n) = -n**3 - 14*n**2 - 15*n + 8. Let d be a(-13). Let m = 25 - d. Is -9 at least as big as m?
True
Let z be 1/2*0/(-1). Suppose -4*a + 5*a - 4 = z. Is 6 bigger than a?
True
Let h = -4 - -3.881. Let k = 4.119 + h. Which is smaller: k or 9?
k
Let q(r) = 222*r**3 + 3*r**2 + 12*r + 9. Let n be q(-1). Is -219 greater than n?
True
Let d(k) = -k - 13. Let b be d(-10). Let a be 28/16 + b/4. Is -3/10 greater than a?
False
Let c = -0.8 - 0.4. Let n = 1 + c. Let q = -331 + 330. Is n less than or equal to q?
False
Let q be (6/65)/(250/625). Is q smaller than -2/5?
False
Let d(a) = -6*a + 1. Let q be d(-2). Let y = -28 + -17. Let c be -1 - 3/(y/q). Is c less than or equal to 0?
True
Let t(g) = g**3 + 8*g**2 - 3*g - 6. Let n be t(-8). Let l be 24/n*9/6. Let z be l + -1 - (-11 + 13). Is z at least -2/7?
False
Let a = 325 + -324.921. Which is smaller: 3 or a?
a
Let f = 189 + -146. Is 44 smaller than f?
False
Let t be 9/5*940/(-488). Let o = -2/61 + t. Let h be (-2 + 8)*-1 - -2. Is o != h?
True
Let k = -254/1079 + 290539/312910. Let s = 1/145 + k. Let j = s - 9/10. Which is bigger: 1 or j?
1
Let g(w) = 4 + w**2 - 4*w**2 + 2*w**3 - w**3 - w + 2. Let y be g(3). Let p be y + -2 + -3 + 1. Are p and -2/11 equal?
False
Let w be (8/(-6))/(-1 + 39/45). Let g be 4/(-680)*(-75)/w. Which is greater: 0 or g?
g
Let q(c) = -2*c + 28. Let n(o) = 12*o**2 + o. Let s be n(1). Let k be q(s). Which is smaller: 3/8 or k?
3/8
Suppose -3*j - 222 = -q + 327, 0 = j - 5*q + 183. Do j and -182 have different values?
True
Let d be -2 + ((-872)/(-96) - 6/2). Let n be (-2)/(-4)*(-34)/(-4). Let f = n - d. Which is smaller: 0 or f?
0
Let l = -0.142 + 0.08. Let i = l + -0.038. Let r = 0.3 - 0.32. Is i at most r?
True
Let j be 12/7 + 4/14. Suppose 0 = 7*f - 10*f + 201. Let x = -69 + f. Which is smaller: j or x?
x
Let b = -40 - -43. Let w(f) = f**3 - 2*f**2 - 2*f. Let v be w(b). Which is smaller: 5/7 or v?
5/7
Let g(a) = a**2 + 16*a - 8. Let d be g(-19). Suppose -d = 10*m + 41. Is m at most as big as -9?
True
Suppose y + 103 - 102 = 0. Is y less than -4/33?
True
Suppose k = 4, -27*v = -22*v - 3*k + 27. Which is bigger: v or -39/17?
-39/17
Let a = 1.11 + 63.89. Let w = a + -64. Do -33 and w have the same value?
False
Suppose -172 = -20*t + 8. Which is greater: -7 or t?
t
Let w be (1 - (-22)/(-16))*4/46. Let x = w + -451/276. Which is bigger: -2 or x?
x
Suppose -7*l + 3*l = -116. Let v = l - 26. Suppose 68 = -v*m - m. Is -16 at most as big as m?
False
Suppose 0 = -24*x + 33*x + 117. Which is smaller: -156/11 or x?
-156/11
Let x(v) be the third derivative of v**6/120 - 7*v**5/60 - 7*v**4/24 + v**3/2 - 8*v**2. Let y be x(8). Which is bigger: 0.2 or y?
y
Suppose 3*i + 234 = -0*i. Let c = 46 + i. Does -30 = c?
False
Let s = -235 - -234.9. Suppose -u + 5*x = -5*u + 9, 3*u = -3*x + 6. Which is bigger: u or s?
u
Suppose -26*v + 2570 = 568. Which is smaller: v or 72?
72
Let u be 