44 - 6/12. Let v = f - 1/124. Is v equal to 156?
False
Let n = 2.13 + 8.57. Let f = n + -10.58. Which is greater: -7 or f?
f
Suppose 4*k - 4700 = -232*x + 233*x, -5*x + 3525 = 3*k. Suppose 1157 - k = -9*f. Let g(y) = -y**2 + y + 2. Let j be g(0). Does f = j?
True
Suppose 64*r - 465 = 59*r. Suppose 8*l - 1804 = 128*l - 12604. Is r at most as big as l?
False
Let o(f) = -f**2 + 7*f + 9. Let m be o(8). Let a(l) = -l**2 + 8*l - 15. Let s be a(7). Let v be (s/(-12))/((-6)/(-45)). Which is smaller: v or m?
m
Let p(y) = -8*y - 20*y - 4685 + 3*y**2 + 4699. Let t be p(8). Which is bigger: -24 or t?
t
Suppose -z + o + 2 = 0, -2*z = 2*z + 5*o + 1. Let i be (117/18)/(33/2). Let g = 3/11 + i. Is z != g?
True
Suppose 0 = 2*r - 5*r + 9. Suppose r*l + 72 = -0*l. Let v = 107 - 130. Is v greater than l?
True
Let p = 4671 - 3059. Is p equal to -1?
False
Let a = -3618/313999 - 10/1447. Let x be (-3440)/(-4085) - 3/(-19). Is a smaller than x?
True
Let r = -21185 + 401671/19. Which is greater: -44 or r?
-44
Suppose -5*h + 2*t - 31 = -8, -3*h + t - 13 = 0. Let d be (3/2)/(8 + ((-230)/40 - 3)). Which is smaller: h or d?
h
Let q = 11701 + -10882. Is q at least 813?
True
Let z(d) = -12*d**2 + 1. Let n be z(1). Let h be (-90)/(-27)*(-138)/(-5). Let b = 80 - h. Which is bigger: n or b?
n
Suppose 1 = 4*v - 3. Let b be (-1 - 11/(-12))*(7 + -10). Let x = 3/44 - b. Which is greater: x or v?
v
Suppose 10 = -w + 5*o, 1 = -w + 4*o - 7. Let t(s) = s**2 - 8*s + 1. Let j be t(w). Let q be (-4)/22 + 256/2376. Is j not equal to q?
True
Let h = 59120845/114188 + -2/28547. Which is smaller: h or 519?
h
Let z(q) = 5*q**2 + 2*q + 36. Let k be z(-7). Let v = k + -258. Which is smaller: v or 75/8?
v
Let q(i) = i**3 + 12*i**2 - 4*i - 6. Let y be q(5). Suppose 4*d + y = 8*d - 5*n, 0 = -3*d + 4*n + 300. Are 95 and d equal?
False
Let z = -2498 + 3702. Is z less than 1201?
False
Let j be 3344/(-912) - 2/6. Let t = -48 - -33. Which is smaller: t or j?
t
Suppose 0 = -6*k + 60*k - 1620. Let d be k + -37 + (-74)/(-12). Is 30 != d?
True
Let o = -2 + 4. Let u be 376/16 + 1/o. Let s = 40 - u. Are 17 and s equal?
False
Let x(h) = -3*h - 1. Suppose 11 + 4 = 5*c. Let y be 0/(1 + (-1 - c)). Let g be x(y). Which is smaller: g or -2/151?
g
Let a be ((-3)/6 - 1)*2. Suppose 0 = 2*l + 2*l - 80. Let c be 30/36*(-63)/l. Which is smaller: c or a?
a
Let b = -20126 + 20119. Do -329/44 and b have the same value?
False
Let d(h) = 5*h**2 - 50*h - 106. Let k be d(-3). Which is greater: 129 or k?
129
Let y be 27094/(-4836) + (-6)/26. Which is greater: y or -2.3?
-2.3
Let g = -165 + 242. Let m(n) = -4*n**2 - 2*n + 1167. Let w be m(0). Let y = 1243 - w. Which is greater: y or g?
g
Suppose 0 = 5*q - 5*k + 25, q - 1 = 4*k - 24. Let p be 2/6*(-15)/132. Is p greater than q?
False
Suppose -22*b + 9009 - 2805 = 0. Suppose b = -61*g + 55*g. Which is smaller: g or -8?
g
Let w(x) = -x**2 - 18*x + 416. Let k be w(13). Let u(s) = s**2 + s + 7. Let i be u(0). Which is smaller: i or k?
i
Let o = 7 - 15. Let i be o/(-14)*2/(-24). Suppose -21*a = -19*a. Which is smaller: a or i?
i
Let m = 625 + -605. Let n be ((-30)/m)/((-6)/8) - 391. Which is bigger: 1 or n?
1
Let l be 0/((23 - 22)*(1 + 0)). Suppose w - 4*m = l, m = 2*w - m + 6. Are -4 and w equal?
True
Let q = 0.954 + -0.9. Let o = -13.846 + 14. Let x = o - q. Which is bigger: x or -1/10?
x
Suppose 3*a = 193 + 23. Let s be 2/8*a/15. Suppose -2*b - 40 = -40. Is b equal to s?
False
Suppose 7*q - 44 + 9 = 0. Suppose q*c + 197 = 3*d, 2*d + 0*d = -4*c - 140. Is 2 >= c?
True
Suppose 6215 = 18*n - 7*n. Let m = n - 591. Is m at most 0?
True
Let r = 205457 + -205455.9. Let p = -0.2 + 0.4. Is r bigger than p?
True
Suppose -2*f = -5*f + 5*u - 514, 3*f + 5*u + 554 = 0. Which is smaller: f or -169?
f
Let a be 0 + (5/1 - 7/7). Suppose -8*d + 3*d + a*l - 742 = 0, -4*d - 2*l - 604 = 0. Which is greater: d or -151?
d
Let a be (7/(-2) + 0)/(2/4). Let o(h) = -h - 11. Let w be o(a). Let b be 6 + w - (2 + 3/(-93)). Is b less than or equal to -1?
False
Let t be (-15)/6 - (-16 + (-290)/(-20)). Is -2/505 bigger than t?
True
Let y be (-43)/(-45) - (2 - 1). Let b(w) = 2*w**2 + 22*w - 19. Let h be b(-12). Suppose -4*f = 4*m - 3*m - 3, 2*m + 7 = h*f. Which is smaller: y or f?
y
Let g = -1750 + 2699. Suppose -m = 3*k - g, m + 3*m = 4*k - 1244. Let c be 3/(k/12) - 14/35. Do c and 10/7 have different values?
True
Let b be 5*6/70 - 18/(-7). Suppose 8*u = b*u - 4*p - 90, 54 = -3*u - 5*p. Which is smaller: u or -8?
u
Let g be (-6)/(-4)*20/15. Suppose 5*n + 153 = 4*s - 2, 0 = n + s + 40. Let y be -9 - 294/n - 2/5. Is g bigger than y?
True
Let x be 26/(-22) + 2 + -22 + (-3774)/(-187). Let w(l) = l**3 - 8*l**2 + 6*l + 3. Let q be w(7). Let c be (q/(-14))/((-27)/42). Which is smaller: x or c?
x
Suppose 4*q - 171 + 0 = -3*s, 3*s - 219 = -5*q. Is -6 >= q?
False
Let q(m) = -m**2 - 8*m + 9. Let z be q(-7). Suppose 5*f + 4*g = -59, 5*g - g = z. Suppose -3*n - 59 = -47. Which is bigger: n or f?
n
Suppose 2*h - 2*d + 10 = h, -17 = 5*h + d. Let w = -12 - h. Suppose l + 4*y = -24, -3*l + 56*y = 53*y + 12. Is l bigger than w?
False
Let l = 11.3 + -780.3. Let i = l - -843.8. Let c = i - 74. Which is greater: c or -1/2?
c
Let o = -4118 - -4085. Which is bigger: o or 0.8?
0.8
Suppose 4*j - 4*n = -4, 0*j - 2 = 5*j - 2*n. Which is smaller: j or -2/3067?
-2/3067
Let a = -49 - -48. Let y = -2/137 - -455/3014. Is y not equal to a?
True
Let u be 15951/182 - 0/15. Is u at most 87?
False
Suppose 0 = 5*l - 4*p - 268, -5*l + 286 - 3 = p. Let g = l - 113. Is -58 at least g?
False
Suppose 4 = 16*i + 20. Let k = i - 33. Let c be 1 - ((-84)/(-8))/7. Do c and k have different values?
True
Let b = -18840861/304234 - -6/21731. Let n = b - -62. Is -1 <= n?
True
Let b be 4/(-629)*70/80. Are 0 and b nonequal?
True
Suppose 111213 = 11*m - 2*m. Let i = -111073/9 + m. Which is smaller: i or 17?
i
Suppose -42 = -12290*p + 12304*p. Is -117/28 > p?
False
Let p be (116/16)/(2/(-376)*-1). Is p greater than 1362?
True
Let g = -0.11965 - -0.11965. Which is smaller: g or -4/5057?
-4/5057
Suppose -h - 14 + 1 = 0. Let b = 17 + h. Suppose b*s = -x - 143, -2*x = -5*s - 0*s - 195. Which is bigger: -38 or s?
s
Let l = 849/58 - 33/29. Suppose -5*c = -c - 256. Suppose 4*t + 2*k - 5*k = c, -10 = -2*t - 4*k. Is t < l?
True
Let h = -26 - -30. Suppose -11*g - 9 = -9. Suppose -20 = 5*r - g*r, q - 2*r - 10 = 0. Is h equal to q?
False
Let p(j) = 9*j**3 - 250*j**2 - 57*j + 34. Let a be p(28). Which is bigger: a or -1.27?
a
Let d be 2 + 0 - (10 + 172). Let t = 183 + d. Which is bigger: 17 or t?
17
Let f = 395 - 365. Let m be ((-6)/f)/(2/(-30)). Which is smaller: 72 or m?
m
Let m be ((-48)/84)/((-4)/14). Suppose -2*n - 16 = m*h - 2, 5*h - 5*n + 5 = 0. Is h less than or equal to -1.8?
True
Suppose -3*t + 3 = 0, 5*l - 4*l + t - 2 = 0. Suppose 0*g = -24*g + 72. Which is bigger: g or l?
g
Let d = -32979 - -6068109/184. Is 1 greater than d?
True
Let y = -1830 + 2655. Which is greater: y or -1?
y
Suppose 3*g + 25 = 4*i, 2*g = 3*i + g - 15. Suppose -2*r = 2*t - 0*r - 8, -i*t = -2*r + 14. Let n = -7954/3479 - -2/3479. Is t at most as big as n?
False
Let w be 6/(8/(1864/3)). Let v = w + -2298/5. Suppose 0*m - 1 = -3*m - 4*c, -2*c = 10. Which is bigger: m or v?
m
Let q = -5677 - -5751. Suppose 27*l = 28*l - 75. Is q at least l?
False
Let g be (-16)/((3/12)/(-1)). Suppose g = z - 5*z. Let v be 85/(-146) + z/(-32). Are -1 and v equal?
False
Let l be 4 + -4*(-4 - -6). Let o(j) = 10*j + 4. Let n be o(2). Let d be 80/(-13) + n/156. Which is smaller: d or l?
d
Let l = -341 + 348. Let d be -3*((-75)/(-126) + l/(-14)). Let c be (-1 - 0)/(9 + 2). Is d at most c?
True
Let w = 1367871821/81582 - 100601/6. Which is smaller: -1 or w?
-1
Let v = 3/58631 - -1403271/75692621. Let z = -14002/892081 + v. Which is greater: z or 0?
z
Let n be ((-66)/(-550))/(12/5). Let v(a) = -a**3 + 17*a**2 - 50*a - 25. Let b be v(13). Are b and n equal?
False
Let c be 6/15 - 6/(-10). Let f be ((4/8)/1)/(9842/644). Let x = 9/37 - f. Is x at most as big as c?
True
Let z(q) = 8*q**2 + q + 2. Let v be z(-1). Let y(f) = -f**2 + 8*f + 5. Let i be y(v). Do i and -27/7 have the same value?
False
Let j = 230 - 212. Suppose 5*k - 4*n - 48 = 0, -5*k + 4*k = -4*n. Is k greater than j?
False
Let y = -8423 - -8423. Do y and 1/1233 have