 value?
False
Let g = -5 + -2229. Which is smaller: -2235 or g?
-2235
Suppose -2*g + 9*g = 42. Suppose -g*j + j = -205. Is 38 less than j?
True
Let n(s) = -77*s - 1567. Let c be n(94). Which is greater: -8807 or c?
c
Let r be 2/(-22) + (-1769)/(-1914). Let c(s) = -13*s - 2 + 14*s - s**3 + s**2 - 2*s**2. Let t be c(-2). Is t != r?
True
Suppose i - 2537 + 2536 = -0*i. Which is smaller: -20/547 or i?
-20/547
Let v(o) = -6*o + 98. Let t be v(23). Let s be t/598 + (-12)/(-78). Which is smaller: -3 or s?
-3
Let y = -574 - -353. Let a = y + 220. Which is smaller: -27/17 or a?
-27/17
Suppose -2*x + 36 = -4*s, 22 = -3*s - 3*x + 4. Let w be ((-751)/(-4))/((-2)/(-4)). Let h = w + -384. Which is smaller: s or h?
h
Let n be (14 - 13)/((-1)/2). Suppose -9*o + 1931 = -1228. Suppose -o = 11*q + 342. Is q greater than n?
False
Let y be (-3920)/(-40)*(-72)/14. Is -509 >= y?
False
Let d = -33677/7964 + 854063861/220005500. Let z = d - -66/221. Is z at least 0?
False
Let i = 15517 + -139879/9. Is i >= -24?
False
Let r(s) be the second derivative of s**5/20 - s**4/6 + s**3/2 - 59*s**2 + 205*s. Let m be r(0). Is -116 greater than or equal to m?
True
Let q = 420 - 928. Let z = q - -849. Which is smaller: 0.1 or z?
0.1
Let o(d) be the first derivative of -d**2/2 - 5*d - 10. Let b be o(-2). Let r be (-3)/9 + 2/b. Which is greater: r or 6/13?
6/13
Let h = -27809 + 27809.0247. Is h equal to 11?
False
Let n be 12/1 + 4182/(-357). Is 3883 >= n?
True
Let b = 4726.87 - 4756. Are b and -1 nonequal?
True
Let j be ((-2)/3)/((-6)/(-621)). Let p = j + 70. Let i be 1*(p - 5) - 684/(-144). Is i at least as big as -2/49?
True
Suppose 5*x - 2*t = 1244, 4*t - 861 + 849 = 0. Which is smaller: x or 274?
x
Let a = -6410 + 6409. Which is smaller: 21/86 or a?
a
Let l be (-55870)/(-5588) + 5*(20 - 22). Is 1 at most l?
False
Let y(v) = -v**2 - 2*v + 6. Let j = -11 - -15. Suppose -27*g - j = -26*g. Let t be y(g). Is t at least as big as -2/3?
False
Let m = 8279.2 + -8279. Which is smaller: m or -0.1556?
-0.1556
Let r(d) = -1412*d + 1698. Let l be r(-9). Is l < 14407?
True
Let o be ((-84)/272)/(30/(-6400)). Which is smaller: 67 or o?
o
Suppose -37 = a + 24. Let r be (0 - (-1)/(-2))*(4034 - 3912). Is r less than a?
False
Let m(t) = -13*t + 352. Suppose 0 = 16*s - 13*s - 4*c - 81, 0 = -2*c. Let y be m(s). Let a be 59/116 - (-2)/(-4). Are y and a non-equal?
True
Suppose s + o = 510, 12*o - 13*o - 2568 = -5*s. Is s at most 513?
True
Let n = 10182241/22414 + 17/3202. Let d(f) = -109*f - 19. Let h be d(4). Let b = n + h. Which is greater: -2 or b?
b
Let i(d) = d**2 + 8*d - 44. Let t be i(-12). Suppose 0 = -20*l + 16*l - t. Which is greater: -3/128 or l?
-3/128
Let u be (-568)/44 - -1 - (-4)/(-44). Let q be 5/2 + 2/(-4). Suppose -q*m + 9 = m. Is u less than m?
True
Let v = 42 + -35. Let l be 258/(-12) + v - 1/(-2). Let y be (66/77)/((-2)/l). Is y at least 6?
True
Let f = 273 - 233. Let d = -4 - -3. Let h be d*4/(12/(-117)). Which is smaller: h or f?
h
Let u = 12927449/63468 + 35/3526. Let r = u - 204. Is r at least as big as -1?
True
Let p be (186/(-24) - -3) + 3/(-12). Let m be 172/p - 11/((-715)/26). Which is smaller: m or -36?
-36
Let r = -370727/10 - -37111. Is 38 less than or equal to r?
True
Let k = -2056 + 2064.208. Let f = -12.151 + k. Let o = f - 0.057. Are o and -4 non-equal?
False
Let w be (45 + -8 + 3)*1. Let u = -4/82995 + -76272313/1908885. Let x = w + u. Which is smaller: x or -1?
-1
Let q = 5948.7 - 5985.7. Let t = -5 + 3. Which is bigger: q or t?
t
Let g = -118.4 + 42.4. Let s = -74 - g. Is -0.7 greater than or equal to s?
False
Suppose -67 = 18*k - 337. Which is smaller: k or 18?
k
Let o = -12076 - -12076. Which is smaller: -2/20067 or o?
-2/20067
Let p = -4 - 183. Let h = p - -185. Which is smaller: h or 2/9?
h
Let t(g) = g**3 - 8*g**2 - 5*g + 8. Let p be t(8). Let a be (6/(-4))/((60/p)/5). Let s be (4 - a - -3) + -11. Is s less than -8?
False
Let g be 3*44/(-24)*-2. Suppose -g*b = b - 60. Is b smaller than 8?
True
Let f = 497.9 + -536. Let k = f - -39.1. Which is smaller: 360 or k?
k
Suppose 5*z + 5*c = -170, 12*c - 14*c = 4*z + 138. Which is smaller: z or -248/7?
-248/7
Let d = 9 - -6. Let x = 458/21 - 155/7. Which is greater: d or x?
d
Suppose 288*c - 292*c - 2*m - 19354 = 0, 0 = 5*c - 2*m + 24188. Is -4839 at most as big as c?
True
Let l = 96 - 90. Let g be l*((-12)/(-8) + -5). Which is greater: g or -15?
-15
Suppose o = -6, 0 = 103*u - 99*u - 5*o - 14. Which is smaller: -0.086 or u?
u
Let k be 72/10 + 1/(-5). Suppose 2*x + 40 = k*x. Let o be (-6 + x)/(-2 + 4). Is o bigger than 1/62?
True
Let h be -24*-3*(-39)/(-18). Let n be 15330/98 - ((-9)/(-21) + 0). Are n and h unequal?
False
Let l = 0.02852 + 0.47148. Which is greater: l or 300?
300
Suppose 18*r + 329 - 311 = 0. Is -2/9313 greater than r?
True
Let z = -12.2 - -12.191. Let a = 0.091 - z. Is a bigger than -35/3?
True
Let i = 16220 - 2708693/167. Which is greater: 0 or i?
i
Let o = 77 - 74. Let u be 46/(-4) - (-2)/(-4). Let y be -1 - (-2 - u/(-7)). Which is bigger: o or y?
o
Let r = 2821/207 + -408/23. Which is bigger: -4 or r?
-4
Suppose 0 = 2*s - 6. Let j(t) = -t**3 - 25*t**2 + 26*t + 6. Let m be j(-26). Let y be 1 - m/s - 0. Is y > 8/5?
False
Let r(y) = 47*y**2 + 2*y**3 - 14*y - 42*y**2 - 3*y**3 + 4 + 18. Let u be r(3). Which is smaller: -25/29 or u?
u
Let y be ((-25)/(-3) + -8)/((-50)/12). Let k = 40.46 + -41. Let b = k - -0.24. Which is bigger: y or b?
y
Let v = -1415 - -1403. Is v <= -0.029?
True
Let p(g) = -15*g + 246. Let z(j) = -75*j + 1231. Let r(v) = 11*p(v) - 2*z(v). Let q be r(14). Which is bigger: 37 or q?
37
Suppose -22*o = -47*o + 20*o. Which is smaller: o or -37/50?
-37/50
Let s = 4.5569 - -0.0531. Let h = s + -1.61. Which is bigger: -1 or h?
h
Let b = -123.2 - -123. Let o be (-10)/(-24)*33/(-440). Let h = 253/96 - o. Which is greater: h or b?
h
Suppose -37*u = -30*u + 35. Let a = -3/92 + 110/23. Let l = a + u. Which is smaller: 19 or l?
l
Let j = 9132 + -9201. Which is smaller: j or -4?
j
Let w = -1.2 - 0.5. Let r = w - -7.7. Let l = -0.202 - -3.202. Which is smaller: r or l?
l
Let g(l) = -l**2 - 170. Let a be g(-8). Is a less than -234?
False
Suppose 14*r - 1678 = -1664. Which is smaller: r or 7/136?
7/136
Let j be (-2346)/39 + 4/26. Let v be (-6)/8 - 57/j. Suppose 3*g - 1 = -4*d + 2*g, 5*d = -4*g - 7. Is d != v?
True
Suppose -3*n + 2*u - 53 = 0, -41*u + 101 = -5*n - 44*u. Which is bigger: n or 244?
244
Suppose -5*q = -5*m - 17655, 0 = -318*q + 314*q - m + 14154. Does q = 3538?
False
Let v = 16 - 14.8. Let l = 6.1876 - 1.1876. Is v smaller than l?
True
Let o(u) = u + 5. Let z be o(-4). Let r(i) = -i**3 + 19*i**2 - 31*i - 53. Let n be r(17). Let k be 480/(-3584)*n/5. Which is smaller: z or k?
k
Let l be (-2)/9 + (2758/1890)/(10/(-84)). Which is smaller: -13 or l?
-13
Suppose -353 - 1123 = -9*v. Let y be v/(-10)*(0 + 35/7). Is -84 <= y?
True
Let z = 8223.5 - 8191. Let j = -33.004 - -0.004. Let y = j + z. Are -2 and y equal?
False
Let z = 19 + -20. Let p be (-2)/z + (-18)/(-9) + -4. Suppose -9*t + 5*t = p. Does t = 4/37?
False
Suppose 5170 + 15134 = 3*z. Let i be z/264 - (-8)/22. Which is smaller: 30 or i?
i
Suppose -5*j + 2170 = -5*b, 22*b + 6 = 20*b. Let z = -419 + j. Is z greater than or equal to 9?
True
Let f = 1014 + -961.7. Let a = f - 70.3. Which is bigger: a or -2?
-2
Suppose -23 = 3*u - 5*p, 0 = -6*u + u - 3*p + 7. Let l = 1849/100947 - 4/253. Which is bigger: l or u?
l
Let j = -26.894 + -620.106. Is j > 4?
False
Suppose 2*s = 3*f + 21, 2*s = -f - 0 + 1. Suppose 0 = s*j + 4*j - 14. Suppose -5*y + w - 9 = j*w, w = 4*y. Which is greater: 1/2 or y?
1/2
Suppose 76*v = 68*v + 1816. Are v and 231 non-equal?
True
Suppose 0 = 3*w + 3*q + 45, 0 = w - 8*q + 10*q + 17. Suppose -72 = -3*l + 2*n, 0*n = 3*l + 4*n - 72. Suppose -3*b = 18 + l. Are b and w non-equal?
True
Let r = 96/479 + -626207/3122122. Which is bigger: 0 or r?
0
Suppose -c + 3 = 0, -3*c + 19 = 25*h - 23*h. Suppose h*m + 432 = -4*m. Suppose -l + 19 = 67. Is m bigger than l?
False
Let u(p) = p**2 - 9*p + 25. Let v be u(8). Suppose 0 = -v*z + 41*z - 12552. Which is smaller: -0.1 or z?
-0.1
Let i(z) = -z**2 + 4*z + 33. Let k be i(8). Let j(s) = -68*s + 27. Let g be j(k). Are g and -39 equal?
False
Let m = -0.559 + -411.441. Let j = m - -411.7. W