greater: l or 1?
1
Let i be ((-3)/45)/(46/230). Suppose -u = -4 + 5, 0 = 5*f + 5*u. Suppose -4*x - 4*o + 3 = -f, -5*x + 3*o + 5 = 0. Is x at most as big as i?
False
Let j = 904 + -937. Let c(x) = 2*x**2 + 67*x + 33. Let a be c(j). Is a less than or equal to -10/81?
False
Let k = 190 - 143. Let j = 58 - k. Is j at least 0?
True
Let m = -9.65 - -9.2. Let p = -0.95 - -0.4. Let f = m - p. Which is greater: 0.8 or f?
0.8
Let f = 95.66 + -94.66. Let l = 24.6 + -22. Let b = 2 - l. Is b at least as big as f?
False
Let g = -196/15 + 13. Suppose -k = 5*n - 3*n + 2, 3*n + 4*k = -8. Suppose 0 = -n*z - z. Which is smaller: g or z?
g
Let d = 1068.22 + -1095.4. Which is greater: d or -2?
-2
Let g be 2/18*(-301848)/32. Let n = 1047 + g. Which is bigger: n or -2?
n
Suppose m = 4*k - 300, -3*m = -4*k - 4*m + 308. Let t = 48 - k. Let l = t + 22. Is l at least as big as -16/3?
False
Let f be 10/(-15) - (-28)/6. Suppose -7*u + f*u + 2 = 5*g, -3*g - 1 = 4*u. Which is bigger: u or 486?
486
Let l = -6588916122/4617151 - -163/419741. Let n = 9696/7 + l. Let v = 42 + n. Which is smaller: 0 or v?
0
Let s = -11443042067/147326270 + 3/2104661. Let h = -651/10 - s. Is 12 at least as big as h?
False
Let n be (60/(-150))/((-6)/15). Is -911 not equal to n?
True
Let f = 71631/8360 - 882/95. Is f greater than -1?
True
Let g be (-84384)/(-5427) + -2 + 7. Let l = g + -184/9. Is 0 >= l?
False
Let o = -32 - -38. Suppose 5*i + z = 1 + 7, -4*i - z = -o. Suppose -4*d = -i*d + 40. Which is smaller: d or -21?
-21
Let s(x) be the first derivative of -12*x + 1/2*x**2 - 19. Let u be s(7). Do -1 and u have different values?
True
Let g = -18124 + 18937. Which is bigger: g or 16?
g
Suppose 25*o + 8*o - 2824140 = 0. Let f be o/(-484) - 2/11. Is -177 <= f?
True
Let v = -6/6071 + 12184/42497. Are 161 and v equal?
False
Let z be (1/5 + (-57)/45)/((-153)/(-1530)). Suppose -37 + 11 = y. Let b = 15 + y. Which is bigger: b or z?
z
Let m = 3250 - 3223. Which is greater: m or 26?
m
Let p = 1077/11 + -98. Suppose -7*f - 83 = -11*f - 3*y, 0 = 5*f + y - 112. Does f = p?
False
Let v(g) = -4*g + 117. Let q be v(28). Suppose q*k + 3 = 2*b, -2*b - 8 + 5 = k. Are -14/29 and b nonequal?
True
Suppose -2*p - 11 = 5*m, 0*m = 5*p + 3*m - 20. Suppose p*d + 2 + 5 = 0. Let r = 1409/10 + -141. Which is smaller: d or r?
d
Let z(c) = c**3 + 0 + 15*c - 4 + 0*c**3 + 9*c**2 + 0*c**3. Suppose -20 = 2*t - 6. Let b be z(t). Which is smaller: b or -13?
-13
Let u = 48 + -54. Let d(a) = 6*a - 6. Let h be d(u). Let f be ((-6)/(-7) - 0)/((-24)/h). Is f < 3?
True
Let g = -7/20 + 437/20. Suppose 4*f - 11 + 1 = -t, -10 = -t + 5*f. Let q be (-6)/t + (-226)/(-10). Which is greater: g or q?
q
Let g be ((-3)/(-2))/((49/1498)/7). Let u = g + -109. Is u at least 1?
True
Let g = 8.65 + 0.35. Let i = -6.7766 - 0.2234. Which is smaller: i or g?
i
Let z = -26/93529 + 7908719023/1122348. Let a = z + -7090. Let t = a - -143/4. Is t greater than or equal to -9?
True
Let y = 2 - 2. Suppose z - 2 + 1 = y. Let g be 36/(-33) + 2 + (-6 - -6). Is z less than g?
False
Suppose -7*q = 8*q - 20*q + 163215. Is 32643 <= q?
True
Suppose -98 - 42 = 7*h. Let l be (660/(-70))/(h/(-245)). Which is smaller: l or -116?
-116
Let m = 282.3 + -281.6. Let p be (-3)/12*(2 - 1). Which is smaller: p or m?
p
Let q = 3.317 - 3.217. Which is smaller: q or -3.333?
-3.333
Let x = -7949.38 + 7949. Is 0.08 greater than x?
True
Suppose 64*y = 61*y + 12. Let h be 22/(-143) + 1176/(-299) + y. Is 0 at most as big as h?
False
Let q be (-6)/(-35)*(41/(-45) + (-1)/5). Suppose 0 = -o + 2 - 0. Suppose o*v = -3*v, 0 = 2*l - 4*v. Which is smaller: q or l?
q
Let i be -8 - 5*243/15. Is 2/75 >= i?
True
Let c = 69 + -64. Suppose 0 = -c*u - 18 - 7. Let q = -13 - u. Which is smaller: q or -10?
-10
Let g be 33/11*32/24. Which is smaller: 67/21 or g?
67/21
Suppose -78 = -6*n - 98*n + 26*n. Do n and 75/41 have the same value?
False
Let j = 87 + -183/2. Suppose 6 = 3*w + 15. Let y be w/(-15) + 78/(-15). Which is greater: j or y?
j
Suppose 2*g = 3*l + 201, -5*g + 151 = -3*l - 50. Let v = 22541 + -22607. Do v and l have different values?
True
Let q = 183 - 183.19. Is q equal to -0.5?
False
Suppose -5*h + 10 = 5*h. Let j be h - (-12)/(5 + -11). Is j greater than -3/11?
False
Let p = 20 - 21. Which is greater: p or 25/87?
25/87
Let b be (-1)/4*3/17. Let n = -468 - -474. Suppose n*q + 625 = 631. Are b and q equal?
False
Suppose 0 = 2*r + 46 + 14. Let l be 22/r + 3/3. Let w be (1022/292)/(((-140)/(-24))/5) - 2. Which is bigger: l or w?
w
Let v(a) = 289*a - 4335. Let m be v(15). Which is greater: -73/164 or m?
m
Let p be 22/8*12/3. Suppose 2*q + 5*u - 42 = -0*q, 0 = 5*q + u - 59. Do q and p have the same value?
True
Let y = -270 - -2865. Is 1 at least y?
False
Let k be (10/(-8))/(3/(-26388)). Let o = 3683331/335 - k. Let u = o + 2578/5695. Is 1 smaller than u?
False
Suppose -d + 6*d = -230. Let u = d - -44. Let j be u/(-5) - (-4 - 464/(-110)). Which is smaller: j or 1?
j
Let y be 1*-10 + 3168/63. Which is greater: y or 40?
y
Let z = 183/28 - 29/4. Let u be ((-4)/14)/(200/(-70)). Let x = 1/2 - u. Is x <= z?
False
Let s be 276/(-12) + 8*5/(-10). Is 57 greater than or equal to s?
True
Let s(z) = 1029*z + 369. Let o be s(-1). Which is greater: o or -0.6?
-0.6
Suppose -33*d = -40*d + 154. Suppose 4 = 2*q, 3*k + 9*q = 14*q - d. Which is greater: 7 or k?
7
Let n be -13 + -6 + (-354290)/(-18647). Is n <= -1?
False
Let d be (1332/8)/((3/8)/1). Let b be -6 - ((-18760)/d)/7. Which is smaller: 1/4 or b?
b
Suppose -19165*t = -19154*t + 11165. Are t and -1015 nonequal?
False
Let g = -0.41 - -0.01. Let o be (36/996)/((-9)/6). Which is greater: o or g?
o
Let z = 0.0571 + 2.3129. Let x = -0.3385 - -0.5385. Which is bigger: x or z?
z
Let g = 45224/5 + -9455. Let u = -408 - g. Let r = 1.99 + -2. Are r and u nonequal?
True
Let i = 146 + -145.826. Let h = -6.174 + i. Let l = -0.6 + 0.4. Which is smaller: h or l?
h
Suppose -169 = -x - o, 3*x - o - 2*o - 477 = 0. Let t = x - 282. Are -119 and t unequal?
True
Let a = 0.308 - 0.25. Let j = -135.058 + a. Let v = 132 + j. Which is smaller: v or -20?
-20
Let c(y) = y**2 + 6*y - 357. Let t be c(16). Which is smaller: t or -41?
-41
Suppose d + 6 = 5*g, 3*d + 2*g + 54 = -g. Let q(s) = -s**2 + 9*s - 3. Let x be q(6). Let v = x + d. Which is bigger: -2 or v?
v
Let t = -72057.2 + 72057. Let i be 50/(0/2 - 1). Let a = -35 - i. Is t not equal to a?
True
Let k be -23 - 3 - (9 - 3). Let h be (-6 + 4)*(-10)/k. Is h less than or equal to -1?
False
Suppose 0 = -131*i + 103*i + 5600. Which is smaller: 188 or i?
188
Let z = -15758.9809 + 15759. Does z = -2?
False
Let q = 11 - -8. Let n = q - 31. Let g = n - -11. Which is smaller: -2/5 or g?
g
Let w = -0.2108 - -44.0108. Is w bigger than -2/9?
True
Let u = -924 + 227. Let t = 528 + u. Which is smaller: t or -170?
-170
Suppose -127*i = -133*i + 6. Let g be (-636)/3861 + (36/(-44) - -1). Is i bigger than g?
True
Let f be 7 - ((-27)/(-63) - -63188*(-1)/(-35)). Which is smaller: f or -1798?
f
Let w = 20 + -18. Let h = 2.1 - w. Let n be (-1165)/932*-74*(-2)/10. Which is smaller: h or n?
n
Suppose 31 = x - 2*y + 5, -2*x + 53 = -3*y. Let m(h) be the first derivative of -8*h**2 + 128*h - 222. Let o be m(8). Which is greater: o or x?
x
Suppose 240 = 68*q - 63*q. Let w be (-514)/63 + -2 + q/28. Which is smaller: 1/2 or w?
w
Suppose 4*q + 194 = -4*r - 254, q + 5 = 0. Let c = r - -109. Let z be 4 + 46*4/(-16) + c. Which is smaller: -5 or z?
z
Let v be (-4 + 29)/5 - (-1386 + 0). Are v and 9 nonequal?
True
Let m = 43.69 + -39.69. Is 5.2 <= m?
False
Let a = -68697 - -3778494/55. Which is smaller: 4 or a?
a
Let g be ((-16)/(-12))/2 + 16/48432*-2006. Which is greater: 1 or g?
1
Let b = 2194 - 2195. Suppose -p + 13 = -35. Which is smaller: p or b?
b
Suppose -89*r + 86*r = -342. Let p = 54 - r. Let x be (-2)/5 + 156/p - 3. Is -6 != x?
False
Let i be 623/(-14)*-2*(2 - 30/18). Is i greater than or equal to 30?
False
Let m = 16.337 - 0.037. Let y = 1.8 + -4.5. Let i = y - m. Which is smaller: i or -1?
i
Let q be (-6)/9 + 10/(-3). Which is bigger: q or 522?
522
Let b(q) = q**2 + 9*q + 1. Let i be b(-8). Suppose -7*p + 2*p + 4*y + 23 = 0, 2*p = 4*y + 14. Suppose -t = -0*t + p. Which is greater: t or i?
t
Let k = 2974 - 2557. Which is greater: 1249/3 or k?
k
Let g = 1.2