 = -303 + 660. Let g = k + -358. Do -0.078 and g have the same value?
False
Let p be (-2)/(-4) - 855/510. Which is bigger: p or -4?
p
Suppose -5*v + 127 = 28*h - 31*h, -2*v = 2*h - 38. Which is smaller: v or 263/11?
v
Let j(f) = 487*f**3 - 17*f**2 - 17*f. Let w be j(-1). Which is smaller: w or -3400/7?
w
Let b(y) = -22*y**2 + 149*y - 16. Let i be b(6). Let d = 1/14 + 3/7. Which is smaller: i or d?
d
Let j = 3664 + -43963/12. Suppose -4*m = -4*b - 0*m - 4, m - 5 = -b. Suppose 3*d - b = d. Is j at least d?
False
Let l(t) = 496*t**3 - 2*t**2. Let b be l(1). Let v = b - 495. Is v less than or equal to 10.8?
True
Suppose 12*l + 27 + 44 = 95. Is l not equal to 15/19?
True
Let j be 602/6*15*25/(-1250). Which is bigger: j or -31?
j
Let s = 4835507/53 + -91236. Let y be (0 + 2)/((-2)/(-2)). Suppose y*d = 7*d. Do s and d have the same value?
False
Suppose -227*t + 3633 = 3*f - 224*t, 0 = 3*f + t - 3631. Is f at most 1212?
True
Let q = -52 + 73. Let c = -1182 + 1160.98. Let i = q + c. Is -2/7 less than i?
True
Let l(k) = k**3 - 5*k**2 - 19*k + 75. Let s be l(3). Is -1/2398 less than s?
True
Let m = 250 - 258. Let c be ((-6)/(-4)*-2)/(5964/m). Which is smaller: 1 or c?
c
Let w = -23.3 + 24.21. Let b = 3.09 + w. Let a = -0.1 + 0.16. Which is greater: b or a?
b
Let n(q) = -377*q + 2995. Let z be n(8). Let m be (-4)/(2/12 + 0). Which is greater: m or z?
z
Let k = 12575 + -16267. Is k bigger than -3692?
False
Let k = 1328 - 65069/49. Suppose -19*a - 32 + 51 = 0. Which is smaller: a or k?
k
Let h = -126/11 + 1649/143. Let g = -0.669 + 1.669. Which is smaller: g or h?
h
Suppose 3*c + 4*l - 6*l = -10765, -5*c - 3*l - 17929 = 0. Let b = c + 93283/26. Is 1 >= b?
True
Let j be (-2)/(-27)*(-22)/(-407). Let h be 34/(-3624)*(-328)/(-333). Let o = j - h. Is 0 greater than o?
False
Let m = -3.275 + 3.5. Let f = m - 0.154. Let k = 0.029 + f. Are k and -20 equal?
False
Let h be (0 - 1)/(2/(-18)). Let q = h + -28/3. Let v = 292.482 - 295.482. Which is smaller: v or q?
v
Suppose 0 = -9*b + 29 - 1 - 1. Is b > 172/49?
False
Suppose 7*q + 1235 - 4602 = 0. Is 489 less than or equal to q?
False
Let r(b) = -8*b - 1746. Let v be r(-38). Is v at most as big as -1442?
True
Let a be 10332/(-4203)*(-4299)/4. Let v = 2642 - a. Which is smaller: v or 0?
0
Let h(s) = 103*s - 55*s - 51*s + 91. Let o be h(30). Let a = 49/31 - 461/527. Do o and a have different values?
True
Suppose 517 - 31 + 72 = 18*r. Is 27 > r?
False
Let a(k) = -5*k - 36. Let f be a(-8). Suppose f*p = 2*l + 36, 0*p + 3*p + 5*l - 1 = 0. Let s be 0 + -1*12/(-2). Is s at most as big as p?
True
Let k = 183 - 122. Let v be (k/82 + -1)*(-143)/117. Let r = 6/41 - v. Is -1 greater than r?
False
Let c = 238.024 + -0.024. Let p = 238 - c. Let g = -4.8 - 0.2. Which is bigger: p or g?
p
Suppose -10*t - 3*o = -5*t + 508, -12 = 2*o. Which is smaller: t or 35?
t
Suppose 16 = 9*i - i. Suppose -i*a = -4*j - 10, 2*a + 65 = 5*a + 4*j. Suppose -21*w = -6*w + a. Is w at most as big as -1/15?
True
Let p = 0.09862 - -1.90138. Do p and -2217 have the same value?
False
Let f = 96 - 93. Suppose -31*d = -f*d + 2800. Do d and -98 have different values?
True
Let p(f) = -12*f + 5. Let t be p(-5). Let r be (90/4)/9*206. Suppose -12*o + r + 265 = 0. Is o <= t?
True
Let v = -9.3 + -60.7. Let f = -70.1 - v. Let j = 2/39 + 4/39. Is j less than or equal to f?
False
Let a(u) = 2545*u - 3914. Let g be a(7). Is 13902 less than or equal to g?
False
Let o = -53 + 58. Suppose o*i + 700 = -2*i. Is 0 smaller than i?
False
Let u = -57 + 64. Suppose -u*i = -10*i - 3. Let m be 8/(-16)*i/(-2). Which is smaller: -10/17 or m?
-10/17
Let o = -3/199316 - 237484999/996580. Which is smaller: o or -237?
o
Let s be ((-200)/6750)/((-21)/(-14)*88/(-30)). Which is smaller: s or -22?
-22
Let o be (-245)/4 + (-7)/(-28). Let i = -11214 - -44611/4. Which is greater: i or o?
o
Let x = -2.5502 + -0.0198. Let o = x - -104.57. Which is smaller: 1 or o?
1
Let a be -1 + 5 + (2 - 3 - (7 - 5)). Which is smaller: 16/9 or a?
a
Suppose -118 - 682 = 8*b. Which is smaller: b or 8?
b
Let k = 5854706/1081 + -5416. Is 1 greater than or equal to k?
True
Let m be 2/(-3) + (-64)/(-60). Let c = -29/35 + m. Let l be 1/(-2) - (-2)/(-4). Is l bigger than c?
False
Let o be 6 - (-2 + (-8 - 14866)). Is 14880 at least as big as o?
False
Suppose 4*k + 2 = 6, 3*j - 20 = -5*k. Suppose j*c + h - 29 = 0, 7*h - 16 = 3*h. Suppose 5*b = q + 16, 0*b - c = -q - 2*b. Which is bigger: -2/73 or q?
-2/73
Let g = -24 + 28. Suppose 532 = -n + 3*p, g*n - p = -2*p - 2102. Let r = n + 21567/41. Is r < -1?
False
Let b(a) be the third derivative of a**4/12 - a**3/6 - 2*a**2. Let t(f) = 5*f - 3. Let m(h) = -17*b(h) + 6*t(h). Let s be m(6). Is s at most as big as -25?
True
Suppose 3*h = -12, 3*l - 3*h - 77 = -2*l. Suppose 100 = -38*d + l*d. Which is smaller: d or 4?
d
Let h = -0.4 - -0.3. Suppose 33 = -58*s - 25. Let o be s*92/31 - (44 + -47). Which is greater: o or h?
o
Let i = -15.366 - -13.366. Is -1046/3 smaller than i?
True
Suppose 0*j + 3*j - 5*c - 243 = 0, -8*c + 10*c = -12. Let n be (-2)/(-9) + (-1933)/(-9). Suppose -n = -2*p + y - 70, 5*y = p - 95. Which is greater: j or p?
j
Suppose -g = -4, 5*g - 29 = -x - 2*x. Suppose 4*y = -3*n - 12, -x*y + 6*y - 16 = 4*n. Which is bigger: y or 1?
1
Let d(b) = 5*b - 29. Let l be d(-20). Let w be l/15 - (-12)/(-30). Is w < 2?
True
Let h be ((-4)/48)/((-508)/(-40)). Which is smaller: 1 or h?
h
Let q be 2 + -2 - 5/(-1). Suppose -q*o - 18 = -2*o + 3*t, 3*t - 6 = 0. Let r be ((-1)/(-21))/(o/32). Which is smaller: 1 or r?
r
Let n = 25/184 - -7403/2392. Suppose 141 - 17 = 31*k. Suppose 14 + 4 = 5*q + w, -8 = k*w. Which is smaller: n or q?
n
Let f be (3 - 3)/(3/(23 - 20)). Is f smaller than -2/7017?
False
Let l = 193880/11 - 17612. Which is bigger: l or 12?
l
Suppose 2 = 2*h + 4. Let j = -707929/5970 + -90/199. Let w = -119 - j. Is h smaller than w?
True
Suppose 70*a = 51*a + 19190. Which is smaller: 1003 or a?
1003
Suppose -2*j + 4 = -j. Let k(z) = z**2 - 4*z + 2. Let t be k(j). Let i(g) = -21*g + 208. Let p be i(10). Is t at most as big as p?
False
Let k = -0.8 + -0.2. Let f = 2.1 + k. Let a be 6/(5/((-30)/(-12))*-1). Which is smaller: f or a?
a
Suppose 0 = -58*i - 129*i + 17578. Suppose -5*q - 3*v + 601 = 148, -477 = -5*q + 3*v. Which is bigger: q or i?
i
Let f be 3/((-2912)/(-320) + 2/10). Let d(m) = m**2 + 2*m + 1. Let y be d(0). Which is smaller: y or f?
f
Let i = -1303 - -3910/3. Suppose 4*t + 5*h - 854 = 0, 0*t + 4*t = -3*h + 858. Do t and i have the same value?
False
Suppose 32 = 2*x + 4. Suppose p - 2 = j, 5*j + x = -4*p + 40. Which is smaller: p or 14/9?
14/9
Suppose -3*j - 5*j = -480. Let x = j + -51. Which is smaller: 1/3 or x?
1/3
Let o be (-48)/(-4) + -18 - 7. Let d be (28/21 - 1)*-9. Which is smaller: d or o?
o
Let w = 467 + -470. Let b be w/(3/(-2)) + 95/19. Is 10 != b?
True
Let r = 415754/5363 + -2448/31. Is 0 < r?
False
Let h be 6506687/(-915) - 2/(-15). Is h smaller than -7111?
False
Suppose 1514 = 10*n - 366. Suppose 271 = 9*l - n. Let b = 146 - 94. Is l less than b?
True
Let k = -4711 - -4785. Is 0.2 >= k?
False
Let w = 16659/22 - 1519/2. Is w less than or equal to 0.2?
True
Let a(k) = 3*k - 103. Let m be a(44). Suppose -4*o = -3*p + 71, 3*o + p = -29 - 34. Let x = o + m. Is 2 > x?
False
Suppose -z - 14 = 27. Let w(u) = 2*u**3 - 13*u**2 - 40*u + 236. Let m be w(5). Is m greater than z?
True
Suppose 11 - 3 = -4*o. Let f be ((0 + 28)/2)/(4 + o). Suppose -17*k + f = -10*k. Which is smaller: k or 2/75?
2/75
Let r be ((-5)/(-15))/((-146)/24). Suppose -25 = -5*j, -224*t - 4*j + 18 = -222*t. Which is smaller: r or t?
t
Let c = -6435 + 6434.9. Is c at least -230?
True
Let r be (0 - 12/(-12))*4. Which is smaller: 83 or r?
r
Let f = 562 - 381. Let m = f + -182. Which is greater: m or 4/61?
4/61
Let v = -2/719 + -2147/3595. Suppose 27*w = 29*w - 10. Let b be (55/10 - w)*0. Which is bigger: v or b?
b
Let n(g) = -g**2 + 8*g + 20. Let v be n(9). Suppose -2*w = d - v + 1, -4*w = 5*d - 38. Which is greater: d or -3?
d
Suppose -2*c + 7*c = 90. Let i be -2 - (-4 - (-20)/c). Suppose 5*o - 5*l = 35, -o + 0*l = 4*l + 18. Which is smaller: i or o?
i
Let d be ((-58)/406)/((-1)/7). Which is greater: d or -2/39755?
d
Let t be 0/((-2)/((-4)/2)). Suppose -5*q + 5*h + 10 = 0, 0 = -h - 16 + 17. 