 t?
True
Let y be (-123)/(-738)*9/20. Is y greater than or equal to -2/13?
True
Let m be (12 - 7*120/84) + -3. Are 50/201 and m nonequal?
True
Let u = 26.2 - 7. Let r = u - 19.2. Which is smaller: r or -27?
-27
Let q(p) = 3*p**3 - 3*p - 1. Let v be q(-3). Suppose -3*h + 513 = -10*h - s, 5*h + 380 = 2*s. Which is greater: h or v?
v
Let i be (-7)/((-2380)/(-12))*334/(-3). Let w = -60/17 + i. Let y be (-1 + 26/8)*4. Which is greater: y or w?
y
Suppose 2*b + 4737 = 3*y, 2*y - 3154 = -9*b + 11*b. Which is greater: 0.04 or y?
y
Let y = 482 + -508.9. Let o = -26.948 - 0.052. Let r = o - y. Which is bigger: r or -2/35?
-2/35
Let q = 18623.6 - 18623. Which is smaller: q or -75?
-75
Let w = -5.9 + -276.1. Let y = w - -282. Is y at most 12?
True
Suppose -4*b + 1192 = 15*r - 11*r, -3*r - 2*b + 895 = 0. Suppose -r = -16*o + 757. Is o >= 64?
True
Suppose 4*v = 3*w - 11, 0 = 2*v - 4*w + 11 + 7. Let g be (-16)/24*v/62. Let u = -79/1302 + g. Which is smaller: u or 1?
u
Let q = -35.2 - -32. Let r = 0.033 + 0.0323. Let h = 0.0347 + r. Which is smaller: q or h?
q
Let t = -2476 + 2473. Which is smaller: 83/4 or t?
t
Let l be (380/20 - 17) + -1. Which is bigger: l or -2/6339?
l
Suppose -4*v = k + 122, 5*v + 1327 = 430*k - 438*k. Let c = 3 + -4. Is k greater than or equal to c?
False
Suppose -1519 = 3*k + c - 6335, -8030 = -5*k - c. Which is greater: k or 0.1?
k
Let v = 8082 - 8283. Is -189 smaller than v?
False
Let q = -2 + 2.4. Let c = -2.4 + q. Let h = -1598 + 1572. Is h >= c?
False
Let b be 4538/(-20) + 5/(-50). Let a = 224 + b. Do a and -9 have different values?
True
Let d = -1.77 - 101.23. Let c = 105 + d. Is c less than -10.6?
False
Suppose 0 = 4*n + 3*t - 1405, 3*t + 1395 = 4*n + 8*t. Suppose 0 = y - 2*y - 3, 0 = -5*j - 5*y + n. Is 74 not equal to j?
False
Let p = -22/175 - -169/175. Is p < -1?
False
Let a = 10/69 + -329/1794. Suppose 3*l - 44 = 4*f, -3*l + f = -l - 26. Let z = l + -11. Is z > a?
True
Let x = 598 - 490. Suppose -502*b + 506*b - 436 = 0. Which is greater: x or b?
b
Let c(q) = 7*q**3 + 32*q**2 - 25*q - 63. Let a(v) = -2*v**3 - 11*v**2 + 8*v + 22. Let y(g) = -8*a(g) - 3*c(g). Let d be y(-4). Which is smaller: 162 or d?
d
Let i(n) = 2*n**3 + 29*n**2 - 15*n. Let h be i(-15). Which is smaller: h or -285?
-285
Suppose -6*r + 1 = -11. Suppose 2*c + 49*x + r = 51*x, 5*x = -2*c + 12. Which is bigger: c or 3?
3
Let i = -71160 + 429592922/6037. Is -1 greater than i?
False
Let f(g) = 3*g**2 - 22*g + 53. Let q be f(5). Let x = 1 - -23. Which is greater: x or q?
x
Let d be (-4)/10*(11 + -26). Suppose -o + 11 = -d*o - b, 5*o - 4*b = -6. Which is smaller: o or 40?
o
Let d = 0.13 + -1.01. Let s = -3889 + 3888.16. Let a = s - d. Is 4 at most a?
False
Let h = -3709 - -3663. Do -43 and h have the same value?
False
Let f = 14855 - 14838. Which is smaller: f or -95?
-95
Let h = -241/10744 - -40/1343. Let u be (2 - 3) + -1 + 1. Which is smaller: u or h?
u
Let j be (-206)/(-30) - 7/(105/(-2)). Suppose -j*f = 23*f + 7680. Is f != -256?
False
Let g(u) = -20*u + 192. Let t be g(9). Let a(b) = -b**3 + 12*b**2 + b + 7. Let f be a(t). Do 9 and f have the same value?
False
Let t = -245 - -247. Let u be (-6)/(3 + (-15)/3). Suppose u*c - 2 = 4, -t*c = -2*q - 2. Which is smaller: q or 5/4?
q
Let x be 30/5 - (2 + 1). Suppose s = -5*o + 30, o + x + 3 = s. Does s = 9?
False
Let j = -30572 + 30593. Which is bigger: -2/41 or j?
j
Let l = -23526 + 24020. Which is smaller: l or 0.05?
0.05
Let y = 124 + -25. Suppose 20*g - 25*g - 1400 = -19*g. Is g less than y?
False
Suppose -40*r = 25*r - 57005. Is 877 smaller than r?
False
Let c be 0 + 7*12/(-3). Let m(d) be the third derivative of -d**4/24 - 14*d**3/3 - 3*d**2 + 9*d. Let f be m(c). Which is bigger: f or 2/35?
2/35
Suppose 3 = 3*n, 451*g - 2*n - 11638 = 446*g. Which is greater: 2329 or g?
2329
Let r be (-8)/(-18) - (-6)/(-9). Let z = -226 + 235. Suppose -3*k + 3 = -11*m + z*m, 3 = 3*k - 5*m. Which is bigger: k or r?
k
Let j = 44 - 42. Suppose -l - 4*l + 960 = 5*v, -l + j*v = -201. Suppose l = -10*d + 15*d. Which is greater: 40 or d?
40
Suppose -4*d = -0*d + 76. Let q = -353 + 388. Let n = d + q. Which is smaller: 0 or n?
0
Let q(n) = -n**3 - 3*n**2 - 2*n - 1. Let z be q(-2). Let r = -9814 + 1108992/113. Let y = 804/11639 - r. Which is bigger: y or z?
y
Let o = 9.5 - 131.5. Let i = o + 120. Which is bigger: i or -36?
i
Let n = 54/1919 - -1757/5757. Is n >= -10.008?
True
Let i(p) = 5*p + 38. Let r be i(-7). Suppose -r*b = -2*l - 5 - 2, -4 = -b - l. Suppose -b*d + 18 = -27. Which is smaller: 14 or d?
14
Let i be -12 - -2*1/4*2. Let p = -48 - -49. Let o be p*(-6)/(18/21). Are i and o nonequal?
True
Let n = -0.03 + -13.97. Let i = 37.2 - 51. Let z = i - n. Which is smaller: z or 1/8?
1/8
Let d = 42059 - 144514723/3436. Is 0 equal to d?
False
Let x(j) = j + 25. Let m be x(-15). Suppose 9*u = 8*u - m. Let i be (-6)/(-4) - 5/u. Which is greater: -2 or i?
i
Let c = -1491/4 - -370. Let f = -32 - -29. Does c = f?
False
Let o be 139/(-556) - (0 + 2385/12 + 3). Is o > -1?
False
Suppose 0 = 121*w + 245*w. Does w = -4/1135?
False
Suppose 5*n - 5*k = 7460, n + 4*k = -0*k + 1492. Is n less than or equal to 1493?
True
Suppose 89*d = 66373 + 70687. Which is smaller: d or -0.1?
-0.1
Let i be (-2)/(-6) + ((-264)/(-9))/(-4). Let d(c) = 2*c**3 + 13*c**2 - 9*c - 13. Let f be d(i). Is 11 <= f?
False
Let j(d) = -3*d**2 - 196*d + 329. Let r be j(-67). Which is smaller: -157 or r?
-157
Suppose 2*g = 3*z - 2, 7*g - 12*g - 22 = z. Let l be (-1)/17*(-3 - z). Let x = -7 - -7. Are x and l non-equal?
True
Let w be -5 - (154/298)/(2/(-22)). Is w at most -2?
False
Let q be 150/(-1)*7*(-14)/28. Let a = -519 + q. Is 34/7 < a?
True
Suppose 5 = -s - 37. Let k = s - -76. Let w = -0.18 + 0.18. Is w < k?
True
Suppose -i - 31 = -1. Suppose -4*t + 5*c = 60, -6*t = -4*c - 1000 + 1062. Let p be 3*-3 + i/t + -2. Which is smaller: -6 or p?
-6
Let l(s) = 72*s**2 + 6*s + 3. Let o be l(-1). Suppose -7*a + o = -92. Is 27 bigger than a?
True
Let z = 11.81 + -11.7577. Let n = z - 16.0523. Which is bigger: 18 or n?
18
Suppose 0*z + 12 = 3*z. Suppose 5*l + 3*i = 11, -l = -3*l - 4*i - z. Let p(t) = -t**2 - 6*t - 4. Let y be p(-4). Are y and l nonequal?
False
Let l = -453 + 455. Suppose 4*v + 5*q = -1995, v + 1530 = -l*v + 3*q. Is v >= -505?
True
Suppose -337 = 4*d + 63. Suppose 0 = -63*z - 3788 + 679 - 3254. Is d smaller than z?
False
Suppose -98 = -6*o - 134. Let k be -4 - (3 - (-2)/(o/9)). Which is smaller: -38/11 or k?
k
Let b(k) = 3*k**2 + 31 + 4*k**2 + 4*k - 21 - k**3. Let t be b(7). Suppose 0 = -m - 4*u - t, -2*m + 5*u = 3*u + 56. Which is greater: -31 or m?
m
Suppose 5*j = -5*y + 295, -4*y = -0*y - 3*j - 201. Let p(f) = -4*f**2 - y - f - 36 + 56 + 5*f**2. Let l be p(-6). Which is bigger: l or -5?
l
Let q = -8.89 - -0.29. Let s = q - 25.4. Let k = s + 39. Is -0.3 smaller than k?
True
Let u be (2328/(-10))/2 + (-3)/5. Let t be ((-78)/u)/(2/201). Which is smaller: t or 69?
t
Suppose 0 + 0 = -20*r. Suppose 0*n + 5*n + 3*o + 22 = r, n - 18 = 5*o. Which is bigger: n or -25/9?
n
Suppose 0 = 23*u - 21595 - 57272. Which is bigger: u or 3428?
u
Suppose q - 10*b = -15*b + 1, -q + 5*b - 9 = 0. Is -233/56 <= q?
True
Let d = 9.8 - 14.8. Is d less than 0.21?
True
Let p be (-2)/(-11) - (-680)/(-110). Let k be -2 - ((-12)/p - 4). Which is smaller: k or -3/5?
-3/5
Suppose -2*f + 5 = -3*z - 7, z - 3*f + 11 = 0. Which is smaller: z or -0.1?
z
Let m be -10 + (-904)/16 + -12. Is -80 at least as big as m?
False
Let o(t) = -t**3 + 5*t**2 + 16*t - 51. Let m be o(6). Suppose -4*i = l + m, 4 = 4*i - 2*l - 2. Is i < 1/250?
True
Suppose 89 + 76 = 3*n. Let d(k) = n + 21 + 119*k - 116*k. Let s be d(-18). Is 23 >= s?
True
Let v be ((-49)/(-6) + (7 - 8))*6. Are v and 103 nonequal?
True
Let s = 114302 - 801698/7. Is -227 at least as big as s?
False
Let p = -1363 + 2810. Suppose 6*b + p = 331. Which is greater: -185 or b?
-185
Suppose -4*f - 1 + 14 = j, -3*f = 5*j - 14. Let b be 4209/315 + (-4 - -4)/5. Let r = -68/5 + b. Which is smaller: j or r?
r
Let d = -356 - -334.7. Let n = d - -21.4. Let y = 9 + -7. Are n and y nonequal?
True
Let l = 2.2 - 2.109. Let x = -11.909 - l. Is -2/15 greater than x?
True
Let q be (-675072)/(-4096) + 7*-3. Which is bigger: 143 or q?
q
Let s be (-1836)/915 - -1*2. Suppose 4*p = 3*j