, -2*q - 15 = -4*z - 3*q. Suppose -b - z = 4*p - 3*p, -b + 20 = -4*p. Which is greater: b or a?
b
Let u = -21506 + 235822/11. Which is greater: u or -68?
u
Let h be ((-4)/(-219))/(-6 - -10)*-5. Is 1 less than h?
False
Suppose -v = -82 + 78. Suppose -2*b + 10 = -0*b. Suppose v*w = -4*k - 148, 6 = -3*w - b*k - 111. Is w greater than -34?
False
Let x be ((-31500)/(-11830) - (-1)/(-1)) + 1 + -3. Which is bigger: 0 or x?
0
Let i = 2214/7 + -4435/14. Which is greater: 3/53 or i?
3/53
Let r be 6/(-9) + 50/(-15). Let w = 16 - r. Suppose -5*d + 122 = -2*q, -q = -d + w + 5. Is d at least as big as 25?
False
Let x be (2/(-12)*-3)/(-18294*(-1)/(-8)). Which is greater: -1 or x?
x
Suppose 21 = -8*h + 7 + 6. Are h and -3/3910 nonequal?
True
Let r(i) = 8*i + 18. Let n be r(-4). Let k = -30 - n. Let w be ((-68)/k + -4)/((-34)/(-8)). Which is smaller: w or 0?
0
Let r be 2880/(-114) + (0 - 6/(-1)). Which is greater: r or -19?
-19
Let n = 5094 - 5091. Which is smaller: n or -186/7?
-186/7
Suppose -5*a = -252 - 173. Let d(i) = 4*i - 7*i - 45 + 10*i + 4*i - i. Let y be d(13). Is y at most a?
True
Let h = 3342 - 4444. Is 0 greater than or equal to h?
True
Let m(y) = -y**2 - 24*y - 68. Let r be m(-23). Let z be -2*(-15)/(-10) - r. Which is smaller: z or 46?
z
Let f = -61 - -60.78. Let g = 0.289 + f. Let b = g + 0.331. Do b and -0.03 have different values?
True
Let v = -5865347/23 + 255241. Let i = v - 226. Which is bigger: 0.08 or i?
0.08
Let o = -3749 + 3598. Which is greater: -139 or o?
-139
Suppose -2*v - 7*v = -v. Let t(i) = i - 6. Let d be t(v). Let j be (-30)/d + -5 + 43*1. Are 44 and j equal?
False
Let t = 226854 + -226916. Let p be ((-74)/(-3))/((-4)/10). Which is smaller: t or p?
t
Let u be -6 - 0 - 1316/49. Let x = 232/7 + u. Is 246 at most as big as x?
False
Let a = 707 - 705. Is 58/7 not equal to a?
True
Let o be (-3081)/10 - (12 + -11) - 0. Let a = o - -309. Which is bigger: a or 2/13?
2/13
Suppose 934 = 9*i - 4*i + 3*r, 0 = -5*r + 15. Suppose -i*y - 110 = -190*y. Which is smaller: 25 or y?
y
Let y = 82 - 6. Suppose 226*w = -1733*w. Is y > w?
True
Suppose -2771 = 1524*k - 4295. Let x = 1422894/155 - 9180. Do k and x have the same value?
False
Let w(h) = -h**3 + 22*h**2 - h + 21. Let j be w(22). Let o = -61 - -237. Let q be 2/(-8)*o/(-99). Is q greater than j?
True
Let r = 10/729 - 30385/729. Let g = -1151 + 1109. Which is greater: g or r?
r
Suppose 43*j - 139 = 46*j + 89. Which is greater: 31 or j?
31
Let d = -1048 + 1100. Let t = -11 - -7. Let p be (-14)/d - (t/(-1))/(-24). Which is greater: p or -1?
p
Let z = -45 + 73. Let u = 169.2 - 141. Let h = z - u. Which is greater: 2/3 or h?
2/3
Let h be (-6)/12 - 1*(-15)/10. Which is smaller: h or 10/63?
10/63
Let w be (2 - 12)*((-46 - -52) + 264/(-15)). Which is smaller: 113 or w?
113
Let z = 631 + -449. Let v = 609 - 430. Which is smaller: z or v?
v
Suppose -255*o + 346*o + 21203 = 0. Is o < -186?
True
Suppose -3*l + 13*l = -1540. Let k = l + 35264/229. Which is bigger: 1 or k?
1
Let k(l) = -2*l + 37 - 38 - 5*l**3 + 2*l. Let w be k(-1). Let q be w + (-1048)/260 + 0. Which is bigger: 0 or q?
0
Let t = -33344200564499/603 + 55297168416. Let y = t - -13283. Is y >= -1?
True
Suppose -4*t = 3*r - 17598, -69*r + 74*r - 29330 = t. Is 1/2 not equal to r?
True
Let h(m) = m**3 - 11 + 31*m + 36*m - 64*m + 6*m**2. Let t be h(-5). Let z be (-8)/(-12) + (-2 - t). Which is smaller: z or -0.11?
z
Let m = 22640 + -21582. Are 1056 and m equal?
False
Suppose -2*f + 1 = -5. Suppose -f*j = -26 + 35. Let l be -3 - 18/j - 0/(-2). Which is greater: 4 or l?
4
Suppose 5 = -2*i + 19. Suppose -3*m - 12 = -2*m. Let b be ((-95)/(-45))/((-4)/m). Is b equal to i?
False
Suppose -58*i - 27 - 26 = 5. Which is bigger: i or 16/411?
16/411
Suppose -75*d - 81*d + 950560 = 52*d. Is d at least as big as 4570?
True
Suppose 4*q + b - 6*b - 23 = 0, 5*q - 7 = -b. Let c(y) = 1. Let a(z) = 11*z + 9. Let n(i) = q*c(i) - a(i). Let p be n(-4). Which is bigger: 38 or p?
38
Let q = -1.513 - -135.513. Suppose 4*n + 1 = -3. Is q greater than n?
True
Let j be ((-60)/(-18))/(28/(-15) - -2). Suppose -4*g + 18 = 2*v, -5*g = 3*v - j + 3. Suppose -5 = c - g. Is 1/2 at least as big as c?
True
Let l = -1124 - -720. Let c = -385 - l. Is c at most 20?
True
Let a = -1295 - -1320. Is a bigger than 32?
False
Let x = 34 - -15. Let o = -71 - -74. Suppose 0 = s - o*m - 48, -s + 21 + 27 = 5*m. Does x = s?
False
Suppose 3*x - 453 = -0*x. Suppose 7 = -158*t + x*t. Is t < 7/37?
True
Let i be (-21 - (-1674)/78)*18. Let l = -18 + 26. Which is smaller: i or l?
l
Let y = -22549 - -157169/7. Is -96 smaller than y?
False
Let l = 1.43 + -2.23. Let u = 0.025 - 0.635. Let c = u - -0.11. Which is smaller: l or c?
l
Let m(r) = r**2 - 9*r + 7. Let j = -11 + 13. Suppose -j*t = 6 + 4, -3*z - 5*t = 4. Let b be m(z). Which is bigger: -8 or b?
b
Let s = 59 + 75. Let a be 18/(-108) + (-1 - (-895)/6). Let b = a - s. Which is bigger: 15 or b?
15
Let x be (321/(-4))/((-213)/(-9088)). Which is greater: x or -3422?
-3422
Let c be (20/(-5) - -5)*14. Suppose -k + 384 + c = 0. Is 397 less than or equal to k?
True
Let x(c) = -2*c**2 - 22*c - 88. Let s be x(-13). Let y be (-51)/(-54) - s/(-84). Is 0 smaller than y?
False
Let s = 0.1 + 0.1. Let k = 1427 - 1430. Let a be (9 + (7 - 12))*k/4. Which is bigger: s or a?
s
Let h = -178.75 - 1.25. Let k = h + 180. Is 0.6 != k?
True
Let j = 12 + -32. Let t = j - -20.26. Let d = -0.52 + t. Is d at most 1/2?
True
Suppose -5*x + 2*x + 20 = 5*j, -4*j + 5*x - 21 = 0. Suppose -5*m - j = 4. Let d be (1 - (-52)/(-64))/((-3)/(-2)). Are m and d nonequal?
True
Let u be 3 - 831/(-12) - 24/96. Let c = -13.9 - -14. Which is smaller: u or c?
c
Let d be (((-2)/3)/((-146)/(-219)))/1. Let p be (-2 + 1)/((-105)/20). Is p greater than d?
True
Let i(t) = -73*t**2 + 2. Let w be i(1). Let h(s) = 73*s**3 + s**2 + s + 1. Let x be h(-1). Is w at most as big as x?
False
Let f = -633 + -49. Let p be f + (-30)/(1 - -5) - 2. Which is smaller: -688 or p?
p
Let i be 3 - (-396535)/(-375) - (-5)/3. Let b = 1053 + i. Which is smaller: b or -1?
-1
Let y = -0.778 - -0.868. Let x(f) = 6*f**2 - 1 - 5*f**3 + 4*f**3 - 2*f - 2*f**2. Let g be x(3). Is g < y?
False
Let t be 115/(-13) - 8/52. Let m be (-111)/9 - (-6)/t. Suppose 73 = 6*r - 10*r + 5*j, j = 5. Is r equal to m?
False
Let p be (-159 - 2098)*(-1 - 0). Is 2253 != p?
True
Let r(h) be the first derivative of -4*h**2 + 22*h + 45. Let d be r(6). Let a be 5 + -10 + (-118)/d. Is a > -1?
True
Let o = -71.948 + -0.052. Let u = -72.4 - o. Let g = -54 + 57. Which is greater: g or u?
g
Let x be (-1224)/1520*-10 + (-8)/1. Let h(c) = c**3 - 8*c**2 + 8*c + 3. Let a be h(7). Are a and x non-equal?
True
Suppose -4*l = 2*u + 38, -32 = 2*u - l - l. Let a(r) = 73*r + 51. Let j(b) = 87*b + 52. Let v(z) = -6*a(z) + 5*j(z). Let h be v(u). Which is greater: 23/4 or h?
23/4
Let j = -106 + 171. Suppose -5*v - 3*d + 664 = 0, 9*d - 6*d - 9 = 0. Suppose 195 = 3*s + 3*q, -2*s + 8*q - 9*q = -v. Which is smaller: j or s?
j
Let g = -8889 + 8749. Which is greater: g or -37?
-37
Let v = 657266 - 15130880/23. Let r = v - -6945199/11385. Let p = 129/11 - r. Which is greater: 0 or p?
p
Suppose 0 = -2*d + 2*u + 186, -u + 113 = 2*d - 70. Let g = d - 87. Suppose -3*r + 63 = -0*k + k, 4*r + g*k = 95. Which is bigger: 1 or r?
r
Let s = 3219 + -4720. Do s and -3001/2 have the same value?
False
Suppose 19*u = 22*u + 15. Let i be (-268)/u + (56/20)/7. Let q be 16/28 + ((-3670)/14)/(-5). Is i at least as big as q?
True
Let p(n) = n**2 - 22*n + 112. Let y be p(7). Suppose -2 = 2*i, 2*i + 39 = s + y. Is s greater than or equal to 89/3?
True
Suppose -5*s - 2*m = -4433, 0*m = 3*s - 2*m - 2663. Let v = -213 - s. Let g = 56098/51 + v. Which is smaller: 0 or g?
g
Let s(j) = -8*j - 304. Let y be s(-46). Let w(b) = 4*b + 16. Let a be w(12). Are y and a nonequal?
False
Let q be (-6 - -10)*(-3 + -8). Let h be ((-24)/(-4) + q)/(-4 - -2). Which is bigger: h or 12?
h
Let t be 180/117*(-20)/8 - -2. Suppose i + 0*i = v, -4*i - 4*v = 8. Which is greater: i or t?
i
Let z be ((-4)/(-6))/(20/930). Suppose 5*a = 5*g - 25, -5*g + 9 = 2*a + a. Suppose 142 = 5*l - v + g*v, v = -5*l + 146. Do z and l have the same value?
False
Let o = 146.37 + -9.57. Let g = o + -147. Which is greater: -2 or g?
-2
Let j(m) = -m**2 + 2