n g?
False
Let a = 29 - 14. Let w be a/(-6)*(-222)/15. Let f = 4 + 33. Do f and w have different values?
False
Let y = -130.1 + 41.1. Let c = 153 - 65. Let o = c + y. Are o and 41 equal?
False
Let r(h) = -h**3 + 14*h**2 - 14*h + 9. Let f be r(13). Let t be 3/f*68/(-51). Which is smaller: t or 1/82?
1/82
Let j = 2.8238 - 1.3238. Which is greater: j or 4/7?
j
Let n = -3.03 + -178.97. Let l = 270 + n. Let p = l - 97. Which is smaller: p or -3?
p
Suppose -8*t + 1543 - 151 + 6064 = 0. Is 930 at most t?
True
Let q = 71 + -771. Let y = 601 + q. Is -99 greater than y?
False
Suppose 1 + 16 = m. Let f = 27 - m. Suppose -f - 11 = -3*j. Is j > 5?
True
Suppose 3*c - 3*j = -5 - 1, -3*j = 5*c - 38. Which is smaller: -66 or c?
-66
Let n = 2/183 + 2003/915. Suppose 4*f - 4*h - 12 = 0, -3*f + 8 = 2*h - 1. Are n and f equal?
False
Let y = 452 + -378.8. Let n = y + -73. Is n > -4?
True
Let j = 889.77 - 889.97. Let t = 1.2 - 0.2. Let c = t - -1. Which is smaller: j or c?
j
Let g(i) = 4*i**2 + 12*i + 22. Let b(x) = -x**2. Let n(s) = 3*b(s) - g(s). Let h be n(-4). Is h not equal to -1/2?
True
Let f be ((-560)/(-10) + -57)/(2*2/(-14776)). Is 3693 > f?
False
Let r be (160/(-108) + 2)*204. Let o = -106 + r. Suppose -2*n = -4, -4*h + 1 = 4*n + 21. Is o less than or equal to h?
False
Let m(a) = -152*a + 140. Let r be m(14). Let v be ((-2)/8)/(-2 - 3969/r). Is 72 bigger than v?
True
Suppose 6 = -v + 3*j + 2, -2*j + 6 = 0. Suppose -c = -z - 6*c + 16, 0 = v*z - 3*c + 4. Let h = 25025/3 - 8341. Which is greater: z or h?
z
Suppose -3*p = 5*b + 5, -5*b + 6*b = 5*p + 27. Suppose b - 5 = 3*l. Is 3/4 < l?
False
Let g be ((-8)/24)/((-5)/(-12345)). Is g at most as big as -823?
True
Let n(p) = 3*p**2 + 6*p - 27. Let d(s) = s. Let k(q) = 3*d(q) + n(q). Let b be k(-8). Which is greater: b or 95?
95
Let d = -713 + 1033. Let z = d + -306. Let u(h) = -h**3 - h**2 + h + 12. Let y be u(0). Which is smaller: z or y?
y
Let v = -1037047/29 + 35760. Which is smaller: -1 or v?
-1
Let o = 24.3 - 124.3. Let c = o - -98.9. Which is smaller: c or 2?
c
Let m = -8406 - -8933.8. Are m and 0.1 nonequal?
True
Let s be 192/(-1632) - 410/(-17). Let a be s/(-10) + 4/(120/(-18)). Is -35/11 < a?
True
Let v = -573 + 582. Let i be (-2)/v - (-5944)/72. Which is bigger: 82 or i?
i
Let x = 1760 + -40472/23. Let t be ((-7)/(-14))/(1/(-2)*4). Which is smaller: t or x?
t
Let x(y) = 126*y - 12709. Let l be x(101). Let b = -6 - -24. Is l greater than or equal to b?
False
Let c be -1 + (-2509)/(-19916)*8. Which is smaller: c or 1?
c
Suppose 4*d = 5*t + 14, 0*t - 16 = -2*d - 2*t. Let n = -116572/3 - -38862. Which is greater: d or n?
d
Let c be 602/(-387) - (-56)/36. Which is bigger: c or 34?
34
Suppose 5*i + 0*i - 166 = -4*h, 5*h + 130 = 5*i. Suppose i*l = 22*l + 80. Is 56/5 at most as big as l?
False
Let f = 4614 - 4614. Which is smaller: -23.9 or f?
-23.9
Let d be (-13404)/202*14/1. Suppose -18*g = -14*g + 3716. Let i = d - g. Is 0 > i?
False
Let v = -3 + -43. Let i be -5 - (-7 - (-2124)/45). Are i and v non-equal?
True
Let v be (-30)/(-4)*(-18)/(-45). Let s be -21 + (9 - v) - (-3 + 0). Let a(x) = 13*x**3 + x**2 + 2*x + 1. Let h be a(-1). Which is greater: h or s?
s
Let z(o) = o + 6. Let w be z(-5). Let p be (-14978)/(-54) - (-2)/(-6). Let q = p + -277. Is w smaller than q?
False
Suppose 14*o = -w + 16*o + 2, 4*w - 21 = -5*o. Let y be w/(-1) - -66*1. Are 62 and y equal?
True
Let r be (-4648)/(-4*4 + 1). Let q = r - 310. Let f = 2051 - 2059. Is q at most f?
False
Let f = -25172846243/4611 - -5459303. Let p = 7/87 + f. Let m = p + 921/583. Which is smaller: m or 1?
1
Let u(i) = -1294*i - 10526. Let f be u(-8). Is -170 < f?
False
Let b = 472.771 - 473. Let x = b + -1.071. Which is bigger: 1/3 or x?
1/3
Let c = -8940 - -8756.5. Which is smaller: c or -4?
c
Let w = -1287 + 238096/185. Let m = -1315396 + 1315395. Is m > w?
False
Let n = -22840 + 22841. Is n > 2/45235?
True
Let s be (2/6)/(13/624). Let y(k) = 2*k**2 - 40*k + 20. Let m be y(s). Which is greater: -107 or m?
-107
Let v be 1 + -1 + 4 - 2. Let q(g) = -g**3 + 2*g**2 + 13*g - 19. Let l be q(4). Let x be l*((-39)/12 + v). Is -2 > x?
False
Let h be 1395*(-15)/((-225)/6). Let n be 0 + 4 - (-7 - h/(-50)). Which is smaller: 1 or n?
n
Let y = 5050 + -15163/3. Does -46 = y?
False
Let d be -6 - 1134 - (-4 + 4). Let b be 2/(-3)*d/(-80). Which is smaller: -11 or b?
-11
Let a = -146.1 + -22.5. Let i = 169 + a. Which is greater: -0.3 or i?
i
Suppose -5*t + 32 = -4*b, 5*t + 9*b - 4*b - 5 = 0. Let g be ((-29)/2*t)/2. Is -31 greater than g?
False
Let m = -508 + 342. Let h = m + 167.2. Which is smaller: 1/4 or h?
1/4
Suppose -x - 601 = 267*w - 272*w, -5*x = -5*w + 585. Let a be (99/(-18))/(1/(-22)). Is a > w?
False
Let x be (-41)/(2/(-1) - -1). Let v be (22 + x)*1/3. Which is bigger: 31 or v?
31
Let u(i) = -i**3 - 3*i**2 - 2. Let d be u(-3). Let n(y) = -2*y**2 - y. Let w be n(d). Let a(l) = -4*l + 249. Let h be a(64). Which is smaller: w or h?
h
Let k = -5656 - -5837. Are k and 171 unequal?
True
Suppose 3*q = -q - 4. Let y be q/(-98 - -8*(-2)/(-4)). Let x be (-3)/(-6)*(-2 + 0). Is x greater than y?
False
Suppose 26 = 5*c + 11. Suppose c*t - i - 3*i - 4 = 0, 5*i = 2*t - 5. Which is greater: 2/89 or t?
2/89
Let a = 5098 + -7621. Is a greater than or equal to -2523?
True
Let u = 14266 - 3817. Which is greater: u or 10450?
10450
Suppose 0 = -60*l + 148 - 138 - 70. Is -45/38 at least l?
False
Suppose -28*r = -97 - 43. Let h(b) = b + 1. Let k be h(r). Are k and 4 equal?
False
Let m = 302 + -298. Suppose u - 8 = 2*u + 3*z, 0 = 5*u + 5*z. Suppose r = m*p - 11, 6*r - u*r + 22 = -p. Is r less than -13?
False
Let i = -1.528 - -1.328. Which is smaller: -0.0388 or i?
i
Let m = 197/2366 - 2/169. Let t = 127.7 - 128. Is t < m?
True
Let q be 30/(-3) - (-74880)/(-39). Which is bigger: -1931 or q?
q
Let t = -23 - -23. Suppose 147*d - 140*d + 441 = t. Are d and -64 non-equal?
True
Let g be (-4)/4*(-8)/(7 + -15). Which is bigger: -2/1067 or g?
-2/1067
Let l = 98156/5 - 19631. Is l at least as big as -2891?
True
Let h be (6/(-8) - -1) + (-275)/(-1300). Let g be 6/(-4)*36/54. Which is greater: h or g?
h
Suppose -4*s = -13*s + 126. Which is smaller: s or 392/31?
392/31
Let k = -97 + 96.959. Let u = -30.041 - k. Let w = u - -31. Is w at least -3/13?
True
Let n = 190.144 + -190. Let g = 0.13 - n. Which is smaller: g or -0.1?
-0.1
Suppose 3*q - 260 = -2*g - 3*g, 276 = 3*q - 3*g. Let o = -100 + 187. Is q at most as big as o?
False
Let i = -2/2239 - -2325/96277. Let p = -95 - -115. Let t = 20 - p. Is t > i?
False
Let s = 1333.2 - 1333. Which is bigger: s or 0.1215?
s
Suppose 3*x - i = -3564, 57*x - 56*x - 4*i = -1188. Which is smaller: x or -1189?
-1189
Suppose 0 = -32*c + 22*c - 1780. Let y be (6 + 11 + -15)*c/(-12). Which is bigger: y or 30?
30
Let t = -1088 + 1449. Is t < 361?
False
Let f be (-11)/73106*3*(-8)/6. Is f less than -1?
False
Let v = 3304 - 3315. Which is bigger: -98/9 or v?
-98/9
Let q(f) = 6*f**3 + 541 - 538 + f**3 - 7*f**2 + 2*f. Let b be q(-3). Which is greater: b or -254?
-254
Let l = -428641/40223 + 309/29. Let n = 1157/159505 - l. Is n equal to 1?
False
Let o be 1/(5/(-20)) - (-8654)/2162. Is o at least as big as -1?
True
Let k(s) = 2619*s**3 - 5*s**2 + 19*s + 20. Let f be k(-1). Is f less than -1?
True
Let c = -0.25019 + 0.31019. Which is greater: c or 0.0203?
c
Let m = -66 + 67. Let t = 10729/130 + -165/2. Which is greater: m or t?
m
Let f = 227 - 228.26. Let t = f + 1.26. Which is smaller: -31 or t?
-31
Suppose -5*h = -m + 70, -2*h - 2*m = -0*m + 16. Let k be ((-1)/(-3))/(27/(-972)). Is k bigger than h?
True
Let u = 22627 + -22632. Which is greater: -14/5 or u?
-14/5
Let z be 49 - 0 - (126/7)/(-6). Let s = 75 - z. Let h = s + -24. Which is greater: 1/8 or h?
1/8
Let w = -16.965 - -17. Let o = 849 + -847. Which is greater: o or w?
o
Let t be ((-2178)/315 - -8) + (1 - (-36)/(-28)). Which is smaller: -18 or t?
-18
Suppose -5*d = 1 - 26. Let x be 193/(-2) - 4/(-40)*d. Which is bigger: -97 or x?
x
Let w be 52/(65/10 - 7). Let i be 432/w - (-12)/78. Is -18 greater than or equal to i?
False
Suppose 2*v + 23 - 33 = 0. Suppose v*p - x - 80 = 0, -2*p + 25 + 20 = -3*x. Does p = 4?
False
Let j = 494 - 493.9616. Let w = 0.0384 - j. Let h be (-17)/4 + 1/4. Which is greater: w or h?
w
Suppose 