 than p?
False
Suppose 0 = 4*p - 8*r + 2672, -21*p - 1329 = -19*p - 3*r. Is p at most as big as -5/3?
True
Let v = -9133 - -182601/20. Which is smaller: -1 or v?
v
Let y be 3/(-12) + 218/104. Let u be ((-13)/1 - (-35)/(-140)*-100) + -10. Which is greater: y or u?
u
Let r = 0.1296 - 951.1296. Let d = -954 - r. Let l = -7 + -5. Do d and l have the same value?
False
Let t be (8 + 0)*(110/11 - 18*1). Is t >= -57?
False
Suppose -2*y = 4*b + 10, -3*y - 2*b = -6*b - 5. Which is greater: 7/24 or y?
7/24
Suppose 3*i = 5*b - 1881, 590 = 3*b + 3*i - 529. Is b smaller than 376?
True
Let s = -53 - -15. Let o = -50 - s. Let a = -12 - o. Which is bigger: 1/15 or a?
1/15
Suppose -4*q - 73 = -97. Let w = 6 - 11. Let b be (-9)/(-3) + (w - -1). Do q and b have the same value?
False
Let n = 1/731 + 2921/2193. Is n greater than -1347?
True
Let p = 150 + 2105. Do p and 2254 have the same value?
False
Let a be ((-18)/8)/((-1)/4). Let k = -169679 + 169679. Which is greater: a or k?
a
Let v = 1.8 - 1.742. Let k = 2482 - 2483.027. Let u = k + 0.027. Are u and v non-equal?
True
Let n = -2 - -1.5. Suppose -190*b = -133*b - 171. Which is bigger: b or n?
b
Suppose 4*i + 18 = 7*i. Let c be (-5)/((-15)/i) + (1 - 1). Suppose 20 = 6*r + c. Which is smaller: -11 or r?
-11
Suppose -7985*c - 1952 = -8046*c. Is c less than 338/11?
False
Let v be 0 + 37 - (66 - 34). Let w = 35011/8514 - 1/946. Is w less than v?
True
Let j be (2/(-3))/(705/(-282))*(-6)/4. Is j != 4/3?
True
Let g = 865.2 - 865.3. Is 1046/15 less than g?
False
Let i(t) = t**3 - 34*t**2 + 31*t + 65. Let q be 12/(-8)*(0 + 2)*-11. Let a be i(q). Which is bigger: a or -3/2?
a
Suppose 169 = 4*z + 57. Let i be ((-1)/(-3))/((-35)/(-10)) + 164/42. Is i less than z?
True
Let d be (9891/(-628))/((-42)/24). Is d != -10/219?
True
Suppose -5*o = m - 24, 6 = 2*m - 4*o + 14. Let i(y) = -y + 3. Let q be i(m). Let z = 6/23 + -19/161. Is q at most as big as z?
True
Let i(f) = f**2 - 4*f + 70. Let r be i(0). Let b = r + -201. Is -131 greater than b?
False
Let q = 17272.1 - 17272. Is q greater than -21/1202?
True
Suppose -3*x - 6 + 3 = 0, 45 = 2*y - 5*x. Suppose -5*h = v + 16, 0 = 3*v + 4*h - 2 + 6. Suppose 0 = -v*j - 5*f + 18, 4*f - f - 12 = -3*j. Is j <= y?
True
Let t be -3*(-175)/21*1/(-5). Let u be (-5)/75*t - 2/7. Which is smaller: u or -1?
-1
Let k(l) = 100*l**2 - 90*l + 184. Let y be k(2). Which is smaller: 403 or y?
403
Suppose -1946*i - 72056 = -1942*i. Is -18014 greater than or equal to i?
True
Let p = 453 + -443. Suppose 5*m - 3*q = -p, 8*m = 4*m + 3*q - 11. Which is smaller: m or 1/620?
1/620
Let j = -50363/35 - -11908/7. Is j at most 261?
False
Let a = 9932 + -9968.5. Is a at least -8/3?
False
Let i be ((-2)/(-4))/((-1486)/(-4)). Suppose -4*u = 5*p + 1, -166*u - 6 = -167*u + 5*p. Which is smaller: i or u?
i
Let j = -2199 - -1623. Which is bigger: j or 1/2?
1/2
Let x be (16/(-4908))/(2/6). Is 1 smaller than x?
False
Let f = 92.9 + -17.9. Let k = 5.026 + -0.026. Let y = f - k. Is y <= -0.1?
False
Let g = -4104371/481 - -8533. Let f(x) = x**3 - 3*x**2 - 2*x + 8. Let q be f(2). Do q and g have the same value?
False
Let x = -617 - -8017/13. Let f be (8 + -2)/((-14)/(-70)). Let t = -30 + f. Which is greater: t or x?
t
Let s = 44 - 23. Let x be (-6)/s + 48/(-28). Let g be x - (-1)/((-4)/(-12)). Which is greater: g or -2/9?
g
Let y = 368 + -613. Let x be 140/y + 36/14. Let z = -6 + 11. Which is greater: z or x?
z
Let i = 0.29 + 63.71. Let c = 64.05 - i. Do -5 and c have the same value?
False
Let b = 24.7 - 0.7. Let x = 531 - 530.972. Let r = 2.028 - x. Is b < r?
False
Suppose -i + 3*r = 9, 2*i - 3 = -3*r + 6. Let k(u) = -2*u + 20. Let z be k(9). Let l be (z/(-22))/(-1)*1. Is i at least as big as l?
False
Let h be 10*(-5)/(-50)*29. Which is smaller: h or 14?
14
Let q = 0.055 - -3.345. Let z = q + -3.455. Let k = -25.945 + z. Is k < -1/2?
True
Let y = 1/89 + 173/445. Let f = -582468 + 582538. Is y less than f?
True
Suppose 0 = -2*d + 5*d + 15, -2*o + 23 = -5*d. Let y = -359 - -237. Let k be 8/(-42) - y/1281. Which is bigger: o or k?
k
Let t(b) = 6*b**2 - 4*b**3 + 6*b**3 - 2*b - 21 + 10*b**2 - 4*b**2. Let r be t(-6). Which is bigger: r or -3?
-3
Let a be (75/6)/5*-2. Let c be 2/a - ((-2)/80 + -1). Let g = 69/136 - c. Do -1 and g have the same value?
False
Suppose 3*b + v = 5*v + 145, -5*b = -5*v - 245. Suppose t = 5*s + b, -t + 3*s = -s - 52. Let q be (-77)/t + 6/16. Which is smaller: -1/5 or q?
q
Let h = -3542 + 3382. Suppose 2*a = -261 - 61. Is a <= h?
True
Let l(z) = 4*z**2 - 35*z - 170. Let y be l(-4). Which is smaller: y or 349/10?
y
Let t(j) = 49 + 3*j - 12 + 57. Let v be t(-29). Is -7 less than v?
True
Let v be 360/((-1)/(-2) - 136/204). Which is smaller: -2161 or v?
-2161
Let j = -188 - -269. Let c = -0.3647 + 0.3647. Is c not equal to j?
True
Let l = 35207022/8051 + -4373. Is l greater than or equal to 1?
False
Let a(j) = 2*j + 2. Let g be a(2). Let q(k) = 2*k**2 + 13*k - 19. Let w be q(-8). Suppose w*i = 6*i, -16 = -c + 4*i. Are c and g unequal?
True
Suppose -6 = 3*l + a, a + 12 = -3*l - 2*a. Suppose -23*m - 118 = 227. Let z be -1*2/l + m. Are z and -12 equal?
False
Let n = -504 + 504. Suppose -43*l + 2453 + 4169 = n. Is l < 154?
False
Suppose 0 = 15*f - 4*f + 253. Let y(t) = t**2 + 20*t - 38. Let v be y(f). Which is bigger: v or 30?
v
Let a = 1248 + -1752. Let r be a/212*(-2)/33. Let j = 2/53 + r. Which is smaller: j or 1/6?
1/6
Let z be 2 + (-5435)/2275 - (-2)/5. Does 6 = z?
False
Suppose -693 = 2139*l - 2118*l. Let c = -107 - -75. Is l != c?
True
Let x = -308906 - -2167815/7. Is 781 <= x?
True
Let w = 1897 + -1895. Let f = 0.13 - -0.19. Let l = f - 0.02. Which is smaller: w or l?
l
Let o(v) = -10*v**2 - 49*v + 691. Let k be o(12). Is k greater than -1337?
False
Let v be ((-38)/(-114))/(2*(2 - 44/24)). Are 5/331 and v equal?
False
Let i = 1.9 - 2. Let w = 15.014 + -15. Let y = w + 20.986. Is i bigger than y?
False
Suppose 2*l = 5*h - 0*l + 20, 2*l = -2*h - 22. Let w be (h/(-21))/(1050/(-98)). Is -1/4 >= w?
False
Let x = -1.14 + -205.86. Let a = x + 182.4. Let v = 24 + a. Is v at most 0.1?
True
Let i be 4/12*3*(1 + -2). Suppose 131*y = 130*y + 470. Does y = i?
False
Let v be (8*(-44091)/(-216))/(-4 + 0). Do v and -407 have different values?
True
Let z(n) = 9*n + 4. Let q be z(1). Suppose -p - d - 2 = 4, 0 = -3*p - 2*d - q. Let t = 7033/24 - 293. Is p <= t?
True
Suppose 0 = 4*r - 2*i + 6*i - 24, 4*r = i + 29. Suppose r*x + 27 = 48. Is 0 != x?
True
Let l(g) = -2*g**3 + 29*g**2 - 41*g + 26. Let m be l(13). Is -2/7493 < m?
True
Let b(c) = 23*c**2 - 45*c - 475. Let n be b(-9). Is n bigger than 1794?
False
Let k(b) = 8*b + 1. Let a(x) = -x - 1. Let p(y) = 3*a(y) + k(y). Let w be p(2). Let s = 27226 + -136097/5. Is w not equal to s?
True
Let s = -222 - -247.5. Let z = -25.4 + s. Is z greater than or equal to -31?
True
Let a(v) = -4*v - 21. Let p(l) = 4*l + 21. Let h(t) = -6*a(t) - 5*p(t). Let g be 1*5 + (-163 - -165). Let y be h(g). Is y < 50?
True
Suppose -5*p + 5*c - 3 = 7, -5*c = 3*p - 18. Let o = 4 + p. Let f be (-4)/10 + 97/o. Is 19 < f?
False
Let z = 231 - 151. Suppose -16*b + z = 4*b. Which is greater: 2/15 or b?
b
Let s = -20/8313 - 15777934/58191. Which is greater: s or -270?
-270
Suppose -20 = 2*p - 7*p. Let t be p/(-10) + 128/(-30). Let f = t + 130/33. Which is smaller: 0 or f?
f
Let h(q) be the first derivative of -q**2/2 - 9*q + 1. Let o(v) = -29*v + 853. Let t be o(29). Let s be h(t). Which is bigger: s or -22?
s
Let t(f) = -284*f + 1701. Let k be t(6). Is k equal to 271?
False
Suppose -3*n = 4*r - 25, 0 = 12*n - 7*n + 4*r - 31. Suppose 0 = 3*x - k + 5*k - 22, -3*x + 10 = k. Suppose -2*w + 2*p = -4, x*w = p + 1 + n. Is 3 != w?
True
Let c = 1682 - 2913. Let n = -65245/53 - c. Is -0.1 >= n?
False
Let o = 0.203 - 0.139. Which is bigger: o or 24?
24
Let k be 1*0/(-4 + 2). Suppose k = -12*h + 1 + 11. Is h at least as big as -1?
True
Let b = -155/187 - -11/17. Let i be (-701 + 703)/(0 - (-1)/(-41)). Do i and b have the same value?
False
Let v = 119 - 117. Suppose -v*u + 22 = -2*x, -2*u + 5*x - 2*x = -20. Suppose 0 = -4*r + r + 42. Is r != u?
True
Let f(k) = 16*k + 124. Let q be f(-7). Suppose 0 = 3*h - q, 17 = -3*w - h + 21. Is 2/177 at most w?
False
Let v be (-4 - (-28)/12)*(-2 - 4). Let d be -1*(52/v)/(16/40). Suppos