1 = 3*g - 2*g. Is g at least k?
False
Suppose 28013 = -2*q - 5*x, 4*x = -40 + 36. Are -14004 and q equal?
True
Let h be (-10)/3*(-9)/(-312). Let y = 52 - 674/13. Let b = y - h. Which is bigger: b or 11?
11
Let a = 26585 - 26711. Let o be (1 - 3)/(-2) - -117. Let l = o + a. Is l >= -12?
True
Suppose -5*b + 18*j = 96, j = 5*b - 8 - 15. Let q(x) = -x. Let z be q(-4). Which is bigger: b or z?
b
Let y = -92 + 122. Let w be (-156)/(-110) + 12/y. Let f = w + -758/429. Which is bigger: -1 or f?
f
Let z(o) = -2*o**2 - 68*o - 20. Let s be z(-20). Let x be (-172)/18 - 240/s. Are 0 and x equal?
False
Let f be (9 - 13) + (-85)/25. Let q = 9 + f. Let a = -0.1 + 1.1. Which is bigger: a or q?
q
Let u = 4 - -1. Let l be 1146/28 - 10/(-140). Suppose -h = -4*p + 8*p - 19, -2*p = u*h - l. Is h bigger than 3?
True
Suppose 41*t = 3*n + 37*t - 16, -t = 4. Is n greater than -2/48661?
True
Let k = -18/205733 + -390780428/617199. Let d = k - -633. Is d greater than -1?
True
Let h = -0.3813 + -140.6187. Is h greater than or equal to 2?
False
Let p be (-23)/207 + -74*2/45. Let y = -0.1 + 2.1. Is y < p?
False
Suppose -44*f + 46*f + 14 = 0. Let q(a) = -a**3 - 7*a**2 + 9*a + 11. Let p be q(-8). Let k = -4 - p. Is k greater than or equal to f?
True
Let p be (-4)/(-22)*5*-2. Let u be (-16)/(-28) + -1 + 20/14. Let m be -4 + (u - 1/(-1)). Is m > p?
False
Let z(o) = o**2 - 42*o + 436. Let l be z(19). Let q = 113/1974 + 2/141. Which is greater: q or l?
q
Suppose 0 = 2*z + 3*g + 787 - 239, -3*z = -2*g + 861. Is -284 <= z?
True
Let d(u) = -9*u**3 - 3*u - 3. Suppose -21 = 5*m - 1, -5*c - 30 = 5*m. Let s be d(c). Let f = 72 - s. Which is smaller: f or 0.16?
f
Let y = 0.4 + 1.6. Let l = -1.99 + y. Let s = -10380/15569 - -2/46707. Is l greater than s?
True
Suppose -4*j + 13*g - 58340 = 11*g, 3*j = 5*g - 43748. Is j != -14586?
False
Let l = 355/3 + -2491/21. Which is smaller: -478 or l?
-478
Let w = 1.1937 - -20.8063. Do 1/123 and w have the same value?
False
Suppose 3 = -x - 2*x. Let h be (1 + (-9340)/56)*2 - 5. Let f = h + 337. Which is smaller: x or f?
x
Let j = -2329 - -2319. Is 673 less than or equal to j?
False
Let b = 43981/72446 - -1/979. Is 1 > b?
True
Let z(u) = 2*u + 34. Let a be z(-18). Suppose -5*p + 100 = 125. Let l(w) = -2*w**2 - 6*w + 3. Let t be l(p). Is t bigger than a?
False
Let p = -3506 + 3527. Which is bigger: -0.35 or p?
p
Let d(g) = -398*g - 1194. Let t be d(-3). Do t and 2/18019 have the same value?
False
Suppose 6*v = -4*r - 765 + 91, -2*r - 4 = 0. Which is smaller: -86 or v?
v
Let a = 27901/36 + -3101/4. Let c = -8.5 - -5.4. Which is smaller: c or a?
c
Let l(s) = -12*s - 2. Let p(k) = -8*k - 1. Let x(n) = -5*l(n) + 7*p(n). Let i be x(3). Suppose -255 = 2*o + i*o. Are o and -14 nonequal?
True
Let s be 130*(-35)/20930 + (-2)/(-10) + 0. Which is greater: s or -3.75?
s
Suppose -3*x = -3, -5*x = -2*z - 2*z + 35. Let b be (-67 + 73)*(0 + 30). Suppose 72*j - 84*j = -b. Which is bigger: j or z?
j
Let y = -17731844/127 + 139620. Which is bigger: -1 or y?
y
Let j = -3634077/131485415 + 6/44647. Let b = -2/95 - j. Which is smaller: -1 or b?
-1
Let d be ((-83)/(-9) - 72/324)*-1. Is d greater than or equal to 37?
False
Let l(y) = 2*y**2 - 5*y + 1. Let s be l(4). Let k = 26 - 28. Let w be k/(((-10)/75)/1). Is s at most as big as w?
True
Let w(k) = 31*k - 68. Let r be w(7). Let u = r + -156. Let z(j) = -j**2 + 2*j + 5. Let m be z(4). Is u <= m?
True
Let r be 2*1*(33/(-638))/3. Let w = -17/348 + r. Does 1/7 = w?
False
Let n = 3361307/115828654601 - 1/1645457. Which is smaller: n or 0?
0
Let l = 13834 - 276779/20. Is -5 != l?
True
Let o be ((-5)/(-15))/(4/96). Let q be (-1030)/o*(64/(-30) + 2). Let b = -2999/174 + q. Which is greater: 0 or b?
0
Let u(s) = s**2 - 12*s - 105. Let v be u(-7). Let c(r) = -r**2 + 30*r - 55. Let f be c(v). Which is greater: f or 1/520?
f
Let z = 5.3 - 3.4. Let m = -1.8 + z. Let i = -146/195 + 8/13. Which is bigger: i or m?
m
Let h = -0.2213 - -0.1013. Which is smaller: 8.5 or h?
h
Suppose 70 + 3 = -62*o + 135*o. Which is bigger: o or -2/61?
o
Let x be (-3)/4412*1*((-416)/(-12))/(-13). Is -0.07 greater than x?
False
Let w = -2889 - -2879. Are w and -226/25 equal?
False
Let x = 139.858 + -0.858. Let a = -140 + x. Are -545 and a nonequal?
True
Suppose -2*x - 36 = 2*m - 3*m, 122 = 3*m + x. Suppose 5 = 9*u - m. Suppose u*k - 3*h = -55, -k + 4*h = -0*h + 28. Do -22/3 and k have different values?
True
Let a = 79 - 71. Let d be 4*(a + 15/(-5)) + -4. Is d bigger than 19?
False
Suppose 5*o - 30 = -0*o + 3*h, -3*o = -2*h - 19. Suppose 13 = p + 5*x - 4*x, o*x = p - 5. Is p not equal to 11?
False
Let f = -0.1 + 0.3. Let t = 171275 - 171275.25. Which is smaller: f or t?
t
Let i(q) = 6*q**2 - 144*q - 6. Let j be i(24). Which is bigger: j or -213/46?
-213/46
Let j = 2404499/184 - 13068. Is j at least -1?
True
Suppose -4*y - 4 = -2*v - 16, 0 = 3*y - 3*v - 15. Is -25/193 greater than y?
False
Let m = -790 - -467. Is m bigger than 0.1?
False
Let j be 16/10*(-65)/(-208)*-8 - -891. Which is bigger: 896 or j?
896
Let o be 8506/(-28) - (792/(-77) - -10). Let y = o + 1817/6. Are 79 and y unequal?
True
Let l be 6/2485*3*20/(-16). Which is bigger: -1 or l?
l
Suppose 67 = -12*y + 19. Let f be 1 + y/(-16) + 238/(-184). Are 1 and f non-equal?
True
Let o be ((-2)/34 + (-53055)/612)/((-4)/(-16)). Which is smaller: o or -353?
-353
Let n be 2 - -1 - (2 + -2). Let q(f) = 32*f - 95. Let s be q(3). Suppose -s = -a + n. Is a less than -0.1?
False
Let b(q) = 28*q + 79. Let t be b(-4). Let c be (t/99)/(1/4). Which is smaller: c or 1.4?
c
Let x(l) = 2*l**2 + 6*l + 1. Let h be x(5). Suppose 5*r = -5*g - 0*r - 650, 3*g - 2*r + 370 = 0. Let w = h + g. Which is greater: w or -46?
w
Let w = -799 - -1183. Suppose -w*j = -383*j. Which is smaller: j or 16/27?
j
Let d be (-275)/(-125)*(-7 + 2). Does d = -68/7?
False
Suppose 26 = -6*a - 20 + 46. Let i be (-1)/(-27) - (-3 - (-57)/18). Do a and i have the same value?
False
Let f be 12/15 + (-86)/(-5). Suppose 0 = 17*v + 1562 - 1936. Are f and v equal?
False
Suppose 0 = 56*o - 1138819 - 46309. Is o equal to 21164?
False
Let j = 55.3 - 15. Let c = j + -97.3. Which is greater: c or 0.1?
0.1
Let c(m) = m**2 + 2*m + 2. Let q be c(0). Suppose -2*o + 5*o - 5*s + 31 = 0, s = q. Let d = -10.5 + 6.5. Is o > d?
False
Let g(i) = 23*i. Let v be g(-6). Let c be v/8 - (-24)/96. Which is bigger: -14 or c?
-14
Let x = 408 - 266. Let n be ((-93)/(-372))/(x/(-4)). Is 0 greater than or equal to n?
True
Suppose 2*h + 330 = 336. Is -115/9 equal to h?
False
Suppose -387*r - 136467 = -328*r. Which is smaller: r or -2314?
-2314
Let w be 4/6 + (-18)/27. Suppose 2*b - 5*b + 15 = w. Suppose -5*d = -2*a, b*d = 6*a - 5*a. Which is smaller: d or 1/55?
d
Let t be (82/41)/((-24)/5930*(-8 - -18)). Is -50 < t?
True
Let t be ((-2)/3)/(4/(-312)). Let y = 2409 - 2462. Let l = y + t. Which is smaller: l or 3/28?
l
Let f = 4.8 + -2.9. Let t = f - 1.9. Let o = 0.4 - t. Are -1 and o non-equal?
True
Let z = 181 + 58. Let p = -957/4 + z. Is p equal to 2?
False
Let b = 2/28489 + -114042/1225027. Is b != -1?
True
Let q be (2744/(-1960))/(1/3305). Is q at least as big as -4627?
True
Let m = 1670 + -2329. Which is smaller: -658 or m?
m
Let v be 2*(-3 + 68/24)*1. Let a be -5 - -2 - (0/(-1) + -14). Suppose a*u - 17 = 71. Which is smaller: v or u?
v
Let i = -193 + 199. Let c be 352/198*i/(-44). Is c >= -1?
True
Let g(h) = 15*h - 136. Let t be (-510)/(-54) + 24/(-54). Let r be g(t). Is -46/19 less than or equal to r?
True
Suppose 17*o - 50 = 52. Suppose -3 + 327 = -o*r. Let t be (1/(-2))/((-1)/(-106)). Which is bigger: r or t?
t
Let o be 2494/8 - (-5)/20. Suppose 79*r = 83*r - o. Which is bigger: 0 or r?
r
Let y = -510.9 - -511. Which is greater: y or 3064?
3064
Let g = 8 - 6. Let k(m) = -m**2 + m + 2. Let i be k(g). Let a(y) = -42*y - 901. Let l be a(-21). Is l less than or equal to i?
True
Suppose 4*t + 8 = 2*k, 0*t - 8 = -2*k - 2*t. Let l be ((-354)/413)/(2/(-14)). Let c be (k/(-52))/((-2)/l). Which is smaller: 0 or c?
0
Let q = 2.3119 + -2.2619. Is q not equal to 4/15?
True
Let j = -346 - -346.215. Let h = j - 3.215. Which is greater: -14 or h?
h
Suppose -57*l = -26*l - 18*l + 65. Is -19 less than l?
True
Suppose 391 = 12*j - 185. Let s be (64/j)/(1052/(-6)). Let p be 4/(-26) + (-6)/(-39). Ar