u or 0?
0
Let c = -3 + 34. Let i = -14.8 + 64.8. Let f = c - i. Which is greater: -1 or f?
-1
Let x be 16 + -1849 + 13 - (-8 + 2). Is 0.1 smaller than x?
False
Let x(w) = -w**3 - 7*w**2 + 13*w + 88. Let b be x(-7). Let a = 42 - 45. Is a >= b?
True
Suppose -2*h - 357 = 4*z - 7*h, 3*z + h = -244. Let j = z + 90. Suppose j*a = 4*a - 4*a. Are 2/59 and a nonequal?
True
Suppose 20644 - 112099 = -65*r. Is r at least as big as 1412?
False
Suppose 6*d = 4*d. Let m = 323/396 - 56/99. Let l = m + d. Which is bigger: 12 or l?
12
Let q = -0.2209 - -300.2209. Are q and -3 equal?
False
Let x be (-3*(3 - 60/18))/((-7)/(-14483)). Which is smaller: 2064 or x?
2064
Let b = 619 + -619.0942. Let f = -0.1942 - b. Suppose -2*o = -3 - 13. Which is smaller: f or o?
f
Let k = -74/13 - -1023/182. Is 7 less than k?
False
Suppose -5*j + 30360 = 5*u, 2*j + u - 7269 - 4870 = 0. Is 6068 < j?
False
Let c(t) = t**2 + 3*t. Let w = -1 + -3. Let i be c(w). Suppose -i*k + 2*g = -2*k + 6, 2*k = -4*g + 12. Is -1/66 less than or equal to k?
True
Let r = -0.462 - -0.412. Suppose 4*q - 29 - 51 = 0. Is r < q?
True
Suppose 2*b = 16, 0 = -2*c + 3*b + 49 - 517. Do c and -214 have different values?
True
Let n(i) = i**2 - 6*i + 290. Let z be n(34). Which is smaller: 1241 or z?
1241
Let d be (12/(-126))/((-27)/42). Let j = -60/1813 - 129109/97902. Let b = d - j. Which is smaller: 0.2 or b?
0.2
Let n = -42 + 6. Let k = 59378 + -59409. Which is bigger: k or n?
k
Suppose 2964 = -6*g + 3*v, 3*g - 5*v + 1481 = -4*v. Let u = -140 - 354. Do u and g have the same value?
False
Let x = -275 - -279. Suppose 380 = -x*v - 15*v. Is -21 greater than v?
False
Let h be (-642)/(-4)*6/9. Suppose -3*y + 4*l + 297 = 0, -553 = -5*y - 55*l + 52*l. Are h and y non-equal?
False
Let l = -100 + 80. Let v = l + 96. Which is smaller: v or 79?
v
Let o be (-25)/225 + (242/(-99))/(18/(-1)). Suppose l + 0 + 1 = 0. Let q = -2 - l. Which is smaller: q or o?
q
Let r = -27.1 - -20.66. Let b = -0.56 + r. Let i = b - -7.1. Which is greater: i or 0.9?
0.9
Let j = 5831 + -5835. Which is greater: 1100 or j?
1100
Let h = 236 + -223. Suppose -6 = -p - h. Which is smaller: p or -23/4?
p
Let j be (-1)/3 + -1 + 16 + (-772)/(-12). Which is bigger: j or 55?
j
Suppose -f - 315 - 390 = 3*n, -2*n + 5*f - 453 = 0. Let w be (-25)/(-6325)*-23 - (-2 - (-5234)/22). Which is smaller: w or n?
w
Let g be 2*(0 + 1) - 45. Let j = -70421 - -70374. Which is bigger: j or g?
g
Let w = 1876639/5160848 + 3/469168. Let j(x) = x**2 + 6*x - 9. Let b be j(-7). Let d = 1 + b. Is w at most as big as d?
False
Let p = 4528 + -4528. Are 25/88 and p non-equal?
True
Let r be -14*(-18 - (-1176281)/65348). Does 0 = r?
False
Let d(h) = -2*h**3 - 16*h**2 + 5*h + 1. Let k(x) = x**3 - x - 1. Let g(j) = -d(j) + 3*k(j). Let c be g(-4). Is -37 < c?
True
Let t be -192 + 0/(7 + 2 + -5). Is t less than or equal to -193?
False
Suppose 225*y + 9 = 203*y + 31. Which is greater: y or -1/2674?
y
Let p = -603 - -638.8. Let u = p - 56.8. Are u and -1/5 equal?
False
Suppose i + 7 = 4*h, -4*i + 12*h - 13 = 11*h. Is -5/3 > i?
True
Let h be ((-1352)/(-490) - 592/(-14504))/(74/20). Let u(s) = s**2 + 5*s. Let j be u(-5). Which is bigger: j or h?
h
Let g be (-989422)/(-140) + 6/(-20). Let z be (g/222)/(2/12). Which is smaller: z or 193?
z
Suppose 3*p = -89 + 287. Let b = -464/7 + p. Let w = -3201 - -3197. Does w = b?
False
Let d = -1.002 - -1.34. Let h = 0.428 - d. Which is smaller: 0.02 or h?
0.02
Let u = 15 - 10. Suppose u*x = 69 - 19. Let s be (22/x)/(-1)*(9 - 6). Is 0.1 > s?
True
Let a = 160 - 160. Suppose a = -9*r + 4*r + 25. Suppose 3*n - 25 = -2*n. Is n <= r?
True
Let i be (-339*(-4)/60)/(-11 - (-616)/55). Which is smaller: -30 or i?
-30
Let y be (-1)/2 + (-3887)/46. Let q = y - -56. Let u(a) = a**3 + 5*a**2 + 5. Let w be u(-6). Does w = q?
False
Let y(p) = p + 10. Let u be y(5). Suppose u = 4*v - 53. Suppose -43*h = -42*h - 18. Which is greater: v or h?
h
Let v be ((-4)/10)/(2/1369). Let j = v + 273. Suppose -8*p + 28*p = -40. Which is smaller: p or j?
p
Let p be 10/40*6/12*4. Which is bigger: p or 0.377?
p
Let d = 370892 + -21882018/59. Which is greater: 9 or d?
d
Suppose 5 = -78*c + 73*c. Let z be (-12)/(-48) + 22/8. Let t be z/(-12) + (-155)/4. Does t = c?
False
Suppose 0 = -4*h + 2*l - 1502, 429*l + 1885 = -5*h + 424*l. Is h bigger than -4146/11?
True
Let m = 154.29 - 154.34. Let w = -0.15 + -0.45. Is m > w?
True
Let o be 18/(-10)*8*5/(-6). Let v be (16/o)/((-8)/60). Which is smaller: -29/3 or v?
v
Suppose 0*h - 4*h = x + 299, 0 = -3*h - 12. Let u be 1 + -288 + (23*32/368 - -1). Is u >= x?
False
Suppose 5*r + 103 = 10*p - 12*p, r + 1 = 0. Suppose 0 = 2*l + 3*l - 3*u - 8, -2*l + 3*u + 5 = 0. Suppose 0*j - l = j. Is j at most as big as p?
False
Suppose 8*o + 12 = 11*o. Suppose -o*i + 456 = -0*i. Let s = i + -45. Are 69 and s unequal?
False
Let n = 683835/92 + -7433. Let p = -1 - -1. Which is greater: p or n?
p
Let i(o) = -o**3 - o**2 + 7*o + 4. Suppose 9*h + 15 = 12*h. Suppose 8 + 7 = -h*l. Let t be i(l). Which is greater: -1/12 or t?
t
Let t be (2 - 4 - (-160)/87)*1896/(-1106). Is 41 less than or equal to t?
False
Let z = -5267 + 5273. Which is smaller: 0 or z?
0
Let q(y) = -3*y + 1060. Let g be q(5). Are g and 1045 unequal?
False
Let k = -477 + 387. Let s be ((-4)/24)/(5/k)*-1. Do s and 0.087 have different values?
True
Let h = -531 + 530. Let k be 140/1428*(14/10 + 0). Is k at most h?
False
Let s = 0.083 + -0.096. Let o = 2.148 - 0.148. Are o and s equal?
False
Let q = -64/7 - -60/7. Let j = 118/231 + q. Suppose 0 = 5*u + t - 10, 0 = -u - 4*t + 2 - 0. Does j = u?
False
Suppose -5*r + 713 = -4177. Let y be 4*1/12 + r/(-18). Let v = 101 - 154. Are v and y equal?
False
Let o be 0*(4 - 2)/(4 + -6). Suppose -70*u + 65*u + 45 = o. Suppose u*p - 8*p = 0. Is 1/152 at least as big as p?
True
Let c(u) be the first derivative of u**3/3 + 3*u**2 + 43*u + 49. Let f be c(-6). Which is bigger: 45 or f?
45
Let f = -18294037/993 + 18423. Suppose -i - 4*i = -5. Which is greater: i or f?
i
Let r(z) = -7*z - 64. Let y be r(-8). Let d be (78/y)/(4/(-48)). Which is smaller: 115 or d?
115
Let k be 2/5 + (-156)/315 - (-54868)/294756. Let c be (-1 + (-6)/(-4))*-2. Is k <= c?
False
Let n be -2*(10/25 - (-171)/(-190)). Which is greater: 123/257 or n?
n
Let t = 9594 + -9593.8114. Is -2/17 less than t?
True
Let g = 25 - 23. Let d = 1/1072 + -7603/106128. Let v = 947/792 + d. Which is smaller: v or g?
v
Let x = 8 - 4. Let t be ((-124)/(-6))/(x/6). Suppose -t = -3*y - y + 3*d, -d = 5. Which is smaller: y or -1?
-1
Let z be -6*7/(105/(-10)). Suppose -z*s - 3*p = -96, 2*s + 8*p = 3*p + 62. Let l be ((-1)/(3/6) - -3)/(-1). Which is smaller: l or s?
l
Let b = 245450/7 - 35064. Which is bigger: b or -25319?
b
Let h = 9574 + -9573. Are 1/14125 and h equal?
False
Let q be 64/40*30/(-4). Let w be 0/q - (-2 + -1). Let s = 1 - w. Which is smaller: 8 or s?
s
Suppose -2*u + 6 = -j + 26, -3*u = j. Suppose 33 = -4*r - o, o - 18 = 3*r + j. Let m be 3/r + 3/(-36). Are -1 and m unequal?
True
Let n = 9 - 73. Let x = n + 64. Is x equal to -0.08?
False
Let z be (2/42)/(1/6). Let u be (4 + -1 - 5) + 6. Suppose u*w - x + 20 = 0, -3*w - 2*x = w + 32. Which is greater: w or z?
z
Let g = 14 + 3. Let l be (g/(-4))/((-11)/(-88)). Let o = 34 + l. Which is smaller: 2/21 or o?
o
Let n = 41 - 39. Let i be 4 + (-7 - (-8)/n). Suppose 2*s + 2 = 2*a, -s = 5*a - 4 - i. Which is smaller: -1/10 or a?
-1/10
Let t = -4.0293 - -0.0743. Let i = t + -0.045. Is 10/7 != i?
True
Suppose -s - 657 = -2*s - 2*i, s - 672 = 3*i. Which is greater: 664 or s?
664
Let a be (-20 + 22 + -2)/(-1). Which is bigger: 163/176 or a?
163/176
Let u be -6 - ((-495)/(-25))/(-3). Let s be 7/3 - (32/(-24))/(-4). Is u not equal to s?
True
Let o = 549/149 - 455/447. Suppose 2*t + 3 + 1 = 0. Let f be (4 - 2) + t + 2. Is f != o?
True
Let g = 12.2 + -15. Let n = 976 - 690. Let d be (-80)/(-26) - 22/n. Which is smaller: g or d?
g
Let w = 6485 - 6484. Is -20/377 less than or equal to w?
True
Let u be (-5245)/(-8602) - ((-32)/(-44))/(-4). Let i = u - 21/34. Let p(s) = s**2 + 6*s + 6. Let t be p(-5). Is t <= i?
False
Let o be (-35)/(-14)*770/175. Is o less than or equal to 1443?
True
Let t(i) = -371*i + 956. Let s be t(7). Is s > -1641?
False
Let p = 24566254312813/31454921851 - 620/2