ich is greater: 1 or a?
a
Let s = -552.7 + 1114.7. Is -0.04 equal to s?
False
Let g = 1345 - 14793/11. Let q = 0.09 - 0.49. Let n = -0.1 - q. Does n = g?
False
Suppose -140 = 3*z - 2*z. Suppose -9940 = w - 31*w + 101*w. Is z smaller than w?
False
Let x be -74*1 + -44 + (65 - 27). Is -566/7 greater than or equal to x?
False
Let u be (-9)/(-3) - (2 - -4). Let p be ((-187)/(-55))/(u/((-9)/3)). Do 3 and p have the same value?
False
Let q = -30557/1140 + 134/5. Let z(g) = 2*g**3 - 30*g**2 + 30*g - 27. Let x be z(14). Is q <= x?
True
Suppose -4*u + 5 + 31 = 0. Suppose -u*w - 156 = -6*w. Let y = 59 + w. Which is smaller: 6 or y?
6
Let o be 30058/(-182) - 4/(-26). Let t be 126/(-3)*(-22)/o. Suppose 0 = 5*x + 2 + 28. Is x < t?
True
Let p be ((22/5)/(19/665))/(12/78). Is 1004 >= p?
True
Let i = 116/101 + -2758/2929. Let o = 5 + -4.9. Is i bigger than o?
True
Let w be ((1640/(-143))/(-4))/((-32)/(-20)). Let y = w - 485/44. Which is greater: y or 0.2?
0.2
Let c be (-8)/2836*((-4)/(-24)*23 + -4). Which is bigger: c or 0?
c
Let g = 250 - 408. Let x = 792/5 + g. Is -14 less than or equal to x?
True
Suppose -65*g + 84*g = 1501. Suppose -z = -113 + 35. Is z smaller than g?
True
Let g = -773 - -773. Is g != -549?
True
Let v = -24819 - -3251304/131. Which is greater: v or 1?
1
Let o be ((-2)/(-6))/((-1)/(-3)*1). Let z = o - 11. Which is smaller: z or 3?
z
Let c = 3021 + -619303/205. Let q = -16 - -20. Suppose 5*x - 15 = -3*g, q*x + 2*g + 0*g - 10 = 0. Which is smaller: x or c?
x
Let b = -178.2 + -44.8. Let j = b - -216. Let w = -1.05 - -0.05. Which is smaller: j or w?
j
Let l(i) = 3*i**3 + 2*i**2 - 5*i - 2. Let g be l(-3). Let j = g + 55. Suppose 11 = -k - j*d, -5*d - 7 = -3*k - 0*k. Is k greater than or equal to -1/11?
False
Suppose 2*t - 35 = -3*t. Suppose 4*c = t*c. Let u = -30/13 + 733/312. Which is smaller: c or u?
c
Let i be ((-10736)/(-66))/(4/(-6)). Let r = i - -196. Is -47 < r?
False
Let j = 93 + -132. Let x = 40 + j. Which is greater: x or 3.2?
3.2
Let z = 38.328 - 0.328. Are -1/4 and z equal?
False
Suppose -c = b - 16 - 93, -2*b + 10 = 0. Suppose 0 = 4*q - 2*m + c + 50, q + 4*m = -34. Do q and -38 have different values?
False
Suppose 56*s - 940 = 852. Let p be 12/10*(29 - 4). Which is smaller: p or s?
p
Let x = 0.19 + 7.81. Let b = -2348 + 2347.6. Is x greater than or equal to b?
True
Let f = 17.656 + 0.344. Let x = 14 - f. Which is greater: 17/2 or x?
17/2
Let p = -9096 - -8971. Which is smaller: -0.02 or p?
p
Let z be 2*1 - 293/147. Let q = -240707.9 + 240708. Is z greater than or equal to q?
False
Let w = -9.4 - 29.6. Let l = w - 33. Which is greater: l or 0?
0
Suppose -5 = 3*p - 0*a + 4*a, -4*a = -p + 9. Let s be 1 + 1 - (4/2 + p). Let w be (s - (-1 + 3/(-3)))/(-7). Do w and -1 have different values?
True
Let t be (7/63)/(13/(-78)). Let y be (0 + 6/(-33))*7. Which is bigger: y or t?
t
Let x = -0.094 - -0.0794. Let h = -0.0766 - x. Is h < 3?
True
Let i = -2.94 - -3. Let b = 40.7 - -7.3. Let l = 46 - b. Is i greater than l?
True
Let y be 4/18 + (-211)/129132. Is 0 >= y?
False
Let k = 167184 + -167178. Let x = 127/4 + -31. Which is greater: k or x?
k
Let d = -22 + 433. Let z = -410.7 + d. Which is bigger: -1/2 or z?
z
Let k be 2/8 - (-4)/(6 + -22). Suppose k = -10*x + 4*x. Let h = -40/121 - -3642/10285. Is h at least x?
True
Let s = 105.59 + -104. Let k = 1.648 - s. Is 0.5 greater than or equal to k?
True
Let w = 34.65 + -70.65. Is w >= -1/15?
False
Let f = 415 - 208. Let k = f + -208. Are -1.4 and k nonequal?
True
Suppose -618630 = 90*f + 9*f - 1465872. Is f <= 8559?
True
Let n be (-2 + 0 - (-1)/1)*42/42. Which is greater: -9/374 or n?
-9/374
Suppose n + 42 = 2. Let y = n - -27. Let p = -53/4 - y. Is 1 equal to p?
False
Let r = -5.3 + 5. Let j = 0.0698 - -4.9602. Let a = 17.03 - j. Is r <= a?
True
Let i be (1 + (-462)/4)/((-572)/8008). Is 1603 less than i?
False
Let p be (0 + 0)/(2 + 0). Let m = -6808330/19 + 358333. Which is bigger: p or m?
p
Let c(g) = g**3 + 34 - 5*g - 19 + 2*g**2 + 4*g**2. Let v be c(-7). Is v less than -5/94?
False
Let s be (22/(-30) - -1)*(-621)/552. Suppose -5*c + 2 = -3*c. Let y be (-7 + 2)*c/(-5). Which is bigger: y or s?
y
Let r = 2.32 - -0.38. Let s = r - -36.4. Let w = -39 + s. Which is smaller: w or -17?
-17
Let z be (-1 - -1 - 1)*(-42)/21. Let n be 1*(z + 1 - 3) - -42. Let r = 30 - n. Does r = -6?
False
Let k(r) = 3 + 4*r + 31*r**2 + 2 - 32*r**2 - 1. Let s be k(4). Suppose 3*q - 4*q + 2*l - 3 = 0, 3*q - 31 = -s*l. Which is smaller: q or 4?
4
Let o be 16/(-15) + 144/90. Which is greater: -4 or o?
o
Let k = -13.13 - -0.13. Let m = -40 - k. Let r = -0.13 - -0.23. Is m bigger than r?
False
Suppose 5*r - 4*g + 879 = -0*g, -4*r - 699 = g. Let a = -175 - r. Are a and -12/25 unequal?
True
Let z(l) = l**3 + 22*l**2 + 48*l + 552. Let f be z(-19). Which is smaller: f or 724?
f
Let i(k) = -27*k - 62. Let q(x) = 10*x + 24. Let a(g) = -4*i(g) - 11*q(g). Let o(v) = 3*v + 1. Let m be o(-2). Let s be a(m). Is -0.3 greater than s?
True
Let z = 7698 + -7498. Is z != 214?
True
Let r = -599/390 + -5/78. Let o be (-2)/4*-4 - (15065/6550)/((-6)/(-5)). Do r and o have the same value?
False
Let m be 14*108/126 - (10 + 2). Let g = -2518063/871 + 2891. Is m at most g?
False
Let j = -2910 - -2905. Which is bigger: -0.79 or j?
-0.79
Let d = -23.517 + -1293.483. Is 0 equal to d?
False
Let t be 0 + (-2)/3*-6. Suppose t*q = 2*q + 100. Let v(c) = 3*c**2 + 979*c - 5933. Let u be v(6). Which is bigger: q or u?
q
Let r(s) = 4*s**2 - s + 6. Let g be r(-8). Let i = 2/42807 + -11286781/42807. Let p = g + i. Which is smaller: 6 or p?
6
Let b = 8239 - 650890/79. Which is bigger: 1 or b?
1
Let p be (10 - 5 - -4) + -7. Let g be 1 - p - (1 - (-40)/35). Which is smaller: -3 or g?
g
Let q be (195/13)/(3 - (-21)/(-6)). Let k be (-48)/30 + (-18)/q. Which is greater: 3/190 or k?
3/190
Let w = -15.3 + -76.7. Let b = 92 + w. Is b <= 29?
True
Let h = 65 + -48. Suppose -j + h = 2*w - 6*w, 4*j = -w + 34. Let c be 1 - -2 - j/(6/2). Is -1/6 < c?
True
Suppose 0 = 2*l + 616 + 410. Let z = l + 793. Is 279 <= z?
True
Let z = -21453 - -4526575/211. Let b = -612/6119 + z. Let q = -9 + 8. Is b smaller than q?
False
Let r(f) = -f**3 + 11*f**2 - 10*f - 7. Let u be r(10). Let o be (-15432)/45 - (-1 + (-4)/(-10)). Let j = -348 - o. Is j greater than u?
True
Let g = -141 - -989/7. Let i = 709 - 709.19. Are g and i non-equal?
True
Suppose 3*n + 0*n = -33. Let v = -10 - n. Let o be 1 + -1 - (v - 2). Which is smaller: o or 1/22?
1/22
Let s(n) = -11*n + 3. Let b be s(1). Let y(f) = f**2 + 9*f - 28. Let h be y(b). Which is smaller: -34 or h?
h
Let f(z) = -z**2 + 5*z - 2. Let w be f(4). Suppose 7*g - w*g - 2*m - 65 = 0, -2*g + 17 = m. Suppose -g*p = -7*p. Does 1/9 = p?
False
Let a = -754 - -757. Is a < 242/59?
True
Let m = -16710 - -16704. Let f(b) = -3*b - 7. Let i be f(-6). Do m and i have the same value?
False
Let b be 31/(177047045/(-1631280)) + 4/14. Which is greater: 0 or b?
b
Suppose 0*z = z + 27. Suppose 17*p + 5248 = 9*p. Let x be 1/3 + p/24. Is x bigger than z?
False
Let u(s) = 2*s**2 + 2*s - 85. Let d be u(-9). Which is bigger: 66 or d?
66
Let d be 36 - (21 + -3) - 1506. Is d less than or equal to -1490?
False
Let q be (-89808027)/36*104/(-10686). Let i = -24279 + q. Is i less than -1?
False
Let u = 41810 + -1588879/38. Which is smaller: -2 or u?
u
Let s = -49 + 347. Suppose -5*y + 7*y - 4*b - 156 = 0, -b - s = -4*y. Which is greater: y or 76?
76
Let a = 1194 - 1192. Suppose 4*b + 294 = 3*q, -3*q = -2*b - 139 - 149. Suppose k - q = a*z + 9, -3*k - 5*z = -342. Is 108 >= k?
False
Let k = 936.2 + -689. Let c = -246 + k. Is 7 >= c?
True
Let z be 0 + -1 + 1/(1/(-19)). Let l be -1*(103 + z/(-5)). Let d be l/(-36) - 6/2. Is 1 greater than d?
True
Let c = 20/744297 - -40633405741/14141643. Let a = c + -2875. Is -1 greater than a?
True
Let d = 21.7 + 151.3. Let l = d + -182. Is l greater than or equal to -0.16?
False
Let u(h) = -7*h**2 - 2*h**2 - h**3 + 4*h**2. Let q = -308 + 303. Let g be u(q). Which is greater: g or 10/11?
10/11
Let k = 1619 - 931. Which is smaller: k or 687?
687
Let l be (141/6)/(11*221/748). Which is smaller: 7 or l?
7
Suppose -21 = 5*y - 3*l, 36 = 4*y + l + 29. Which is bigger: -3349 or y?
y
Suppose 5*f = -3*k + 27 - 137, -k + 2*f - 55 = 0. Let o be (-4)/(-18) + 