. Is y < 29/12?
True
Let y = -67 + 72. Suppose -2*h + y*h + 6 = 0. Is h != -12?
True
Suppose -2*c - 5 = a, -5*a - 97 = 3*c - 30. Is a smaller than -312?
False
Let y(m) = -798*m + 9298. Let h be y(11). Which is smaller: -18 or h?
-18
Suppose -96*j = -65*j + 837. Let a(k) = -6*k - 3. Let b(m) = m + 4. Let c be b(0). Let f be a(c). Is j != f?
False
Let j be -3 + (88/(-12))/((-6)/(-279)). Let b = 1718/5 + j. Is b < 1.2?
True
Let d = 1040 - 974. Suppose d*k = 86*k + 780. Which is smaller: k or -47?
-47
Suppose 33*o = -0*o + 33. Let u be (8/(-4))/(-3 + o). Which is smaller: u or 4/171?
4/171
Let c = -2382 - -2533. Which is bigger: c or 150?
c
Let i be (0 + 1)/(-1 + (-62463)/(-62430)). Let t = -1890 + i. Is 2 less than t?
False
Let k be 1*7*1326/119. Let i = -86 + k. Let f be i/(-3) - -3*3/(-3). Is -3.6 < f?
True
Suppose 11*b - 12*b + 610 = 0. Let y = b + -15863/26. Which is smaller: 1 or y?
y
Suppose -6*d - 5118 = -5*u + 82731, -3*u = 2*d - 52687. Which is greater: u or 17566?
17566
Let x(s) = -5*s**2 - 7*s + 10. Let y be (0 - 2)*(0 + (-3)/2). Let l be x(y). Let h = 28 + l. Is h less than or equal to -29?
False
Let v be (-4)/8 - (332/(-8) + -4). Let t(a) = -a**2 + 12*a + 10. Let u be t(13). Let x be (-910)/(-21) - 2/u. Which is greater: x or v?
v
Let o be 10/872 + (1 - (-5)/(-4)). Let x = -3711/436 + o. Suppose 4*d - 17*w + 14*w + 52 = 0, -5*d + w = 54. Does x = d?
False
Let i = 11 - 24. Let b = 2555 - 2569. Let f = i - b. Are 0.22 and f equal?
False
Suppose -4*s - 71*s - 107*s = 5*s. Is s smaller than 63/586?
True
Let l(g) = -2*g**2 + 9*g - 9. Let a be 24/(-28)*(37 + 5). Let i be (8/48)/((-2)/a). Let d be l(i). Is d > 2/19?
False
Let s = -33 - -35. Suppose s*f + 41 = g, -2*g + 75 + 21 = 3*f. Let o be 20/(-6)*g/(-85). Which is smaller: 1 or o?
1
Let d(p) = 86*p**2 - 57*p - 244. Let x be d(-6). Is 3196 < x?
False
Let a = -1.7 + -9.7. Let j = a - -12.4. Which is bigger: -3/2 or j?
j
Suppose 3*q = 143 - 206. Let m be (2/(-9))/(2*7/q). Let u = -79/30 - -14/5. Which is greater: u or m?
m
Suppose -234*u + 1480 = -274*u. Do u and -12 have different values?
True
Let a = 0.29 + 22.71. Let r = 20.1 - a. Let o = 32.9 + r. Which is bigger: 0 or o?
o
Let i(o) = o**2 + 17*o - 20. Suppose f - 3*d + 54 = -2*f, 3*f + 54 = -5*d. Let x be i(f). Let q be (-9)/(-16)*(-5)/3. Is x less than q?
True
Suppose 4*v = -3*t + 145, -t = -2*t + 5*v + 80. Suppose 0 = -2*u + 3*q - 14, -4*u - 2*q = -9*u - 24. Let x be (-20)/u + t/25. Do x and 7 have different values?
True
Let n be 12/(-9)*(-297)/(-18). Let b be 18/(4/n - 18/22). Is 2 >= b?
True
Let x(h) = -17*h - 56. Let a(d) = d**2 + 10*d + 31. Let i be a(-5). Suppose 0 = 2*u + 5*z + i, -40 = 8*u - 4*u - 4*z. Let y be x(u). Is y at least 80?
True
Let g(s) = -4*s - 4. Let x be g(6). Let r = 11512 + -11540. Let i = x - r. Is -3/17 greater than or equal to i?
False
Let z = 260 + 739. Is 1000 less than z?
False
Suppose -b + 4 = -8. Suppose -13*q + 16*q - b = 0. Suppose 8*p - q*d + 48 = 4*p, -p + 4*d - 9 = 0. Which is greater: -2 or p?
-2
Let g = 10723 - 10724. Which is bigger: g or 9/2149?
9/2149
Let i = -17418/7 + 14909787/5992. Is i smaller than -1?
False
Let o = 52 + 34. Let c be -8 - (-45)/9 - o/(-21). Which is smaller: 0 or c?
0
Let m(y) = y**2 - 156*y + 3876. Let f be m(31). Let r = 823 + -67485/82. Which is smaller: f or r?
r
Let w = -186.4 + 189.04. Is w bigger than 2/63?
True
Let r(g) = 5*g - 4. Let n(w) = 16*w - 12. Let o(i) = -3*n(i) + 10*r(i). Let f be o(1). Let k be 6/(-3)*((-39)/6 - f). Is 10 greater than or equal to k?
True
Let v = 17 + 22. Suppose -v + 21 = -b. Suppose -n = 5*n - b. Which is bigger: 36/11 or n?
36/11
Let i(y) = -y**3 - 18*y**2 - 29*y + 53. Let b be i(-16). Suppose -5*f = b*v + 10, -5*f - 11 = -1. Let w = 529/5577 - 2/507. Which is smaller: v or w?
v
Let p = -3491 - -3511. Is 136/7 greater than p?
False
Suppose -3*n - 2*t + 3278 = 3263, 0 = -5*n + 3*t - 13. Which is bigger: 1/491 or n?
n
Let b be -1 + 1 - ((-20)/(-5) - 0). Let f be ((-6)/8)/(1/b). Let d be -3 - (f - 5) - 118/(-114). Which is greater: d or 0?
d
Suppose 5*c = 74*p - 70*p + 20, c - 4 = -3*p. Which is smaller: -1/49452 or p?
-1/49452
Suppose 3*l = -5*c - 312, -2*l - 2*c - 160 = 48. Let f = l - -102. Let o be (-17)/12 - 2/(-3). Is o not equal to f?
True
Let x = 0.01141 + -1174.01141. Do x and -2 have the same value?
False
Let i be ((684/232 - 3)*(7 + 429))/(-2). Which is smaller: 10 or i?
10
Let m = 48918 - 244632/5. Let t be (-7)/6 + -1 + 2. Is t != m?
True
Suppose 3*r + 5*l = l - 2388, -2*r + 2*l = 1606. Let b = -57601/72 - r. Is 1 > b?
True
Let l(f) = -73*f + 16353. Let v be l(224). Let c = -4/1593891 + 2013086533/876640050. Let q = c - 54/25. Which is smaller: v or q?
q
Let r = 47380 - 758357/16. Which is smaller: 2/3 or r?
r
Suppose -44 + 47 = b. Let o be b/2 + 2/((-8)/(-126)). Let m = -73 + o. Is -40 < m?
False
Suppose 0 = -13*s - 24 - 54. Let b be -2*(-45)/7*10/(-20). Which is smaller: b or s?
b
Let s be 225/6*(-224)/(-48). Let o be (-3)/2 + s/98. Is -2/441 at most as big as o?
True
Let w(x) = 2*x**3 - x + 2. Let a be w(1). Let d be a/7 - 54/(-84)*4. Suppose -1 = d*b - 7. Which is smaller: -3 or b?
-3
Suppose 9303 - 3381 = -14*t. Let h = 884 + t. Do h and 462 have the same value?
False
Let z = 40414.041 - 40414. Which is smaller: -127 or z?
-127
Let f be 2/3*180/8. Let k be 1/30*f/(-6). Suppose 0 = 6*b - 16*b + 10. Which is smaller: k or b?
k
Let c = 2/917 - 268/2751. Let p(r) = r**3 + 4*r**2 - 3*r. Let q be p(-4). Suppose 2*l = -10, 3*l - 2 = -5*u - q. Is c less than or equal to u?
True
Let h = 67816316/1175 - 57716. Which is bigger: h or -1?
h
Suppose 0 = -67*s + 65*s - 26. Let h be ((-2)/(-38))/(s/(-1183)) + -5. Which is smaller: h or 0?
h
Let x = 83075932/2105 - 39466. Suppose 3139*a = 3140*a. Is a > x?
False
Suppose 49 = 4*z + 553. Let y be -1*2/(-1) - z/(-21). Is y at least -2?
False
Let w = 74919/8 + -9504. Is w at least as big as -138?
False
Let f = 0.02 - 9.02. Let a = f + -2. Let t = a + 10. Is -2/45 at most as big as t?
False
Let l = 26 - 14. Let c = 3 - 7. Let y be 54/c - 3/l*-2. Which is smaller: -12 or y?
y
Let p be 8020 - (-3)/(12/(-40)). Which is smaller: 8009 or p?
8009
Suppose -2*f + 16 = 2*b, 4*b + 5*f + 7 = 42. Let k(g) = g - 4. Let i be k(b). Let s = -2237/12 - -186. Is s smaller than i?
True
Suppose z - 40 = 3*f + 92, 0 = 4*f + 3*z + 189. Let q be 6/f - (-3077)/28815. Is -1 greater than or equal to q?
False
Let a = 63.39 - 64.13. Are 11/3 and a nonequal?
True
Let s(a) = 14*a**2 + 1. Let g be s(1). Let i = -425378 + 425385. Is i bigger than g?
False
Suppose -12*j = 3*d + 21, 5*j + 0*d + 7 = -d. Is j smaller than 5/602?
True
Let g be (-6)/((-137)/70 + 2). Let y = -2245/8 - -2241/8. Which is smaller: y or g?
g
Let g = -1522285/987 + 4627/3. Which is bigger: -1 or g?
g
Let v be (10/15)/((-8)/12). Let k be -2*(0 - 9/(-381)). Is v bigger than k?
False
Let n = -14983 + 21103. Is n equal to 6120?
True
Let t be ((-1190)/280)/(22/(-8)). Which is smaller: t or 3/8?
3/8
Let q = -18.79 + 19. Let t be (3/9 - 1)*(-489)/652. Are q and t equal?
False
Let j = -362 + 131. Let n = -230.987 - j. Which is greater: -0.2 or n?
n
Suppose -10*x + 8*x + 2 = 0. Let h be x + -3 + 480/204. Let p be (-7)/(-14)*(-1 + 3). Is h at least as big as p?
False
Let u be -366 + -41 - 8/1. Let t = u - -523. Is t not equal to 108?
False
Let g = -86 - -87. Let u be (g - 0) + 99 - 3. Let j = u + -84. Is j less than 2?
False
Let n(t) = 23 + 1 - t - 1 + 2*t. Let x be n(-6). Suppose 0 = 4*q + 11 + x. Which is smaller: -23/4 or q?
q
Let w be 6468/(-34848)*(-2)/(-14). Is 1 less than w?
False
Let y(f) = -f**3 - 26*f**2 + 13*f - 378. Let d be y(-27). Does 9/2566 = d?
False
Let l(w) = -w - 1. Let a be l(-4). Suppose h + 261 = -2*t, -h = a*t + 70 + 323. Are -133 and t unequal?
True
Let u = 4739 - 6869. Do -2130 and u have the same value?
True
Let r be (-178)/30 + (-8)/(-12). Let k = -28/5 - r. Does k = 1?
False
Let p be 150/60*14/35. Which is greater: 4/6361 or p?
p
Let p = 14 - 4. Let u = 27 - p. Let o be ((-8)/(-10) - 0)*(-28 - -37) + 10. Which is smaller: u or o?
u
Suppose 14 = -d + 13, -4*d - 8228 = -4*p. Which is bigger: p or 2055?
p
Let t = -227656/9 - -71936/3. Which is greater: -1317 or t?
t
Let h be -1*(-5 - -4)*4. Suppose 32*j + 10800 = -h*j. Is -301 le