0.13 + k. Let q = t - 0.75. Which is smaller: 2 or q?
q
Let b = -12 + -7. Let s = b + 18. Does s = -0.02?
False
Suppose -4*g - 5*r + 140 = -21, -2*g = 2*r - 82. Let d = 441/10 - g. Suppose -5*m = -92 + 92. Which is bigger: d or m?
d
Let h be (-934)/8 - 1/4. Is h smaller than -116?
True
Let p(q) = 2*q + 18. Suppose 2 - 18 = 2*r. Let d be p(r). Let a be (d - 3)*(-3 - -2). Which is smaller: -3/10 or a?
-3/10
Suppose 2*j - 3*r + 101 = 0, -5*r - 167 = 4*j - 4*r. Let d = 44 + j. Is 1/2 greater than or equal to d?
False
Let b(w) = 19*w + 108. Let p be b(-6). Is -2/13 less than or equal to p?
False
Let p = 2267/3 - 1999/3. Is 89 not equal to p?
True
Let o(k) = -4*k + 101. Let w be o(14). Which is greater: 43 or w?
w
Let f be (-10)/(-20) + -2 + (-15)/2. Let h be (512/12)/(-8)*f. Do h and 48 have the same value?
True
Let n(t) = 103*t + 9. Let h be n(-1). Do -189/2 and h have the same value?
False
Let q = 0.29 - -0.21. Let c = -0.2 + q. Which is smaller: c or -2?
-2
Let p be (27/4)/((-2)/(-8)). Let q(k) = 2*k**3 + 5*k**2 + 4*k - 5. Let a be q(-4). Let o = -42 - a. Is p equal to o?
True
Let a be (3 - (-11 - 2))*-16. Which is greater: -1790/7 or a?
-1790/7
Suppose 35*a - 52 = 33*a. Which is greater: a or 21?
a
Let j(n) = -n**3 - 4*n**2 + n + 4. Let u be j(-3). Let w = 10 - 15. Let h = u - w. Is -4 greater than or equal to h?
False
Suppose -3*h + 7*h - 4 = -2*x, -5*h + 3*x - 6 = 0. Suppose 2*i + l - 30 = h, 2*l + 2 = i - 3. Let p be 2 - (i/2 + -4). Is p less than 3/4?
True
Let b = 295/3 + -97. Does 2 = b?
False
Let l = 61 + 79. Let f be 4 + l/21 - 2/3. Is f greater than or equal to 0?
True
Let t = 317 + -315. Which is smaller: t or 5?
t
Let d = 37 + -42. Suppose -y = -2*k + 12, -3*y - 2*k + 0 = 12. Let x = 1 + y. Is d != x?
False
Let h = -0.9 - 0.1. Let o be (-5 + (-54)/(-9))/(7/371). Which is bigger: h or o?
o
Let x = 3.2 - 3. Let r = -3948 - -3957. Is r at most x?
False
Let q(d) be the first derivative of d**3/3 - 8*d**2 + 40*d - 16. Let t be q(13). Which is smaller: t or 9?
t
Let o = -520 + 523. Are o and 9 unequal?
True
Suppose 5*n - 17 = -22. Let h be 1/3*(-2 - (-2 - n)). Which is smaller: h or -71?
-71
Let c(o) be the first derivative of -o**3/3 - 3*o**2 + 6*o + 8. Let w be c(-7). Which is smaller: 1 or w?
w
Let u(q) = -q**2 - 7*q - 6. Let r be u(-4). Let j(a) = a**3 - 5*a**2 - 9*a + 13. Let h be j(r). Is -0.04 equal to h?
False
Let i(x) = -x**2 + 2*x + 29. Let p be i(-4). Suppose -3*s + 0*s - p*v = 6, -5*s = -4*v + 10. Is -2 <= s?
True
Let y = 844/371 - 15/7. Which is bigger: y or -1?
y
Let w be (54090/334455)/(4/(-54)). Let z = w - -3/2027. Suppose 3*q + 1 = -2. Is z smaller than q?
True
Let x(v) = -16*v + 14. Let h(o) = -3*o + 3. Let q(s) = -11*h(s) + 2*x(s). Let t be q(4). Let p be t/(-3)*3/9. Is 0 greater than p?
False
Let j be (-4)/(-6)*1/(-23). Let n = 0.016 - 0.616. Let b = 0.7 + n. Which is greater: j or b?
b
Let u be -4 + (1 + -1)*34/68. Is 28 greater than u?
True
Let h = -1086 - -619. Which is greater: h or -468?
h
Let k(m) = 4*m + 27. Let d be k(-10). Is -111/8 equal to d?
False
Let s be (108/20 - 5)/((-1)/(-10)). Suppose 3*i - 3*z = -z - 23, -4*i + s*z - 32 = 0. Are i and -6 unequal?
True
Suppose -q - q - 2*h = 16, -5*q - 80 = -3*h. Let p be 2/4*(q - -7). Suppose 2*d = -1 - 9. Are d and p nonequal?
True
Let m be (-12308)/3076 - 1 - -5. Which is smaller: m or 0?
m
Let o = 224 - 241. Is -15 bigger than o?
True
Suppose -129*p + 121*p = -9424. Which is smaller: -2/5 or p?
-2/5
Suppose 0 = -2*h + 4*h. Let v = 151 + -157. Is h less than v?
False
Let w(b) = 44*b - 793. Let r be w(18). Which is bigger: 4/53 or r?
4/53
Let b = 21164/7 - 3030. Which is smaller: b or -6?
b
Let y = 127 - 112.9. Let g = 11.1 - y. Let k = 56 + -447/8. Which is greater: k or g?
k
Let f be (-3612)/13296 + (-4)/(-16). Are 1 and f non-equal?
True
Let s = -26 - -26.38. Let u = -0.48 + s. Which is smaller: u or 7?
u
Suppose -2*x + 508 = -4*w, -2*w - 387 + 117 = -5*x. Let t = w + 124. Does t = 39?
False
Let o be (5 + 1 + -2)*(-296)/32. Are o and -26 equal?
False
Let c(n) = n**3 + 6*n + 6. Let l be c(-1). Is -201 >= l?
False
Let q = 404 + -406. Suppose -20 = -5*v - d, 4*d + 5 = v - 20. Let j be 4/(-12) + v/(-3). Do j and q have different values?
False
Suppose 126*l - 121*l = 30. Suppose 4*m = 5*t - 18, 3*t + 4*m - 30 = -0*m. Do l and t have the same value?
True
Let z be -1 + -2 + (-22)/(-4). Let s be (-8 - -4)*-3*1/2. Suppose s*y - 17*y + 22 = 0. Are y and z unequal?
True
Let m be (-398)/630 - (-3)/5. Let t = 145 - 146. Is t equal to m?
False
Let x be 3/12 + 584/(-288). Suppose -4*l = -5*s - 11, -2*s = 2*s + l + 13. Is s greater than or equal to x?
False
Let s = -0.0603 + -51.8397. Let k = 55 + s. Which is greater: -1 or k?
k
Let k = 1/908 - 461/6356. Which is greater: 0 or k?
0
Let v = 31945/23062 + -1/1774. Is -2 greater than or equal to v?
False
Suppose 2 = 2*y - 4*r, -5*y = -3*y + r - 2. Is -8/35 > y?
False
Let u(r) = 3*r - 9. Let w(g) = -2*g + 19. Let t be w(7). Let a be u(t). Which is smaller: a or 8?
a
Let b = -796/7055 + -2/415. Let q(d) = -2*d + 28. Let r be q(14). Suppose -s - 2*s = r. Is s greater than b?
True
Suppose x - 18 = -2*x. Suppose 4 + 9 = -o + 2*w, -o - 9 = 2*w. Let i = x + o. Is -4 greater than or equal to i?
True
Let p be 5 - (6 - (-2 - -1)). Suppose 84 = 5*d + 89. Which is smaller: d or p?
p
Suppose 4*a - 22 = -6. Let r be a/8 - (-18)/4. Suppose r = -10*p + 15*p. Is -3/10 smaller than p?
True
Let x = -32 - -45. Suppose 7 = -14*d + x*d. Is d at least as big as -5?
False
Suppose -2*g - 2*h = 24, g - 38 = 4*g + 2*h. Let l be 4/(-14) + (-74)/g. Let o be l/(-4) + 3/12. Is 1 >= o?
True
Let n = 9346/89 + -570155/1869. Let q = n + 200. Which is smaller: q or 0?
q
Let p = -13 + 17. Suppose p*a = -a + 10. Which is bigger: 3 or a?
3
Let i = -11.695 + -0.105. Let k = -16 + 3. Let y = k - i. Which is smaller: y or 0.1?
y
Suppose -4*m - 107 = 5*l, -5*l + 89 = -5*m + 2*m. Suppose 0 = 9366*q - 9373*q - 189. Is m at most q?
True
Let a = -59 + 76. Let n be 1/6*51/a. Which is greater: n or -67?
n
Suppose -3*b + 3 = 0, -o + b = -1 + 2. Let h be 18/(-405)*-15*6/(-10). Is o != h?
True
Let s be (-11 - -10) + -5 + (-65)/(-5). Is 29 < s?
False
Let b = -0.1 - -0.3. Let k = b + -0.1. Let q = -0.2 + k. Which is smaller: q or -2/5?
-2/5
Let h = -74 + 887/12. Which is bigger: h or -1.3?
h
Suppose 2*i + 1 = 11. Let z = 46 + -50. Let x be (-60)/(-16) - (-3)/z - -1. Is x not equal to i?
True
Let n = -113 - -118.7. Let p = 9.7 - n. Is 5 not equal to p?
True
Let g = 34/19 - 3347/1881. Which is smaller: g or -1?
-1
Let n be (-6 + 10)/(-3 + 21/9). Suppose -4*q + 10 = -6*q. Is q <= n?
False
Let q = 43 - 59. Is q less than -84/5?
False
Suppose -243 = 11*a - 232. Which is smaller: a or -0.063?
a
Suppose 4*s + 313 = h + 3, -3*h - 5*s = -998. Is 324 at most h?
True
Let f(a) = -a**3 + 21*a**2 - 96*a - 12. Let r be f(7). Which is smaller: 31/16 or r?
31/16
Let z(a) = 30*a + 120. Let m be z(-4). Is m greater than -3/265?
True
Let w be ((-600)/(-350))/((-2)/(-21)). Let b = -0.2 + 0.1. Which is smaller: b or w?
b
Let v be 359/7 - (4 - 104/28). Do 50 and v have different values?
True
Let s = 0.0742 + 3.9258. Which is smaller: s or -21?
-21
Suppose -k = -0*k + 8. Let p be ((-14)/k)/(9/8). Let y = -19/18 + p. Which is bigger: -2/5 or y?
y
Let u be 3 + -577 - (5 - (-2 + 0)). Is u not equal to -581?
False
Suppose -b + 3*b - 14 = 2*q, -3*q + 11 = 5*b. Suppose 3*z + 14 = -b*m - 87, 5*m - 4*z = -103. Is -22 > m?
True
Let x be (0*2/(-8))/1. Let p(n) = -n + 3*n + x*n - n. Let j be p(1). Which is smaller: j or 2/55?
2/55
Suppose 0*l + l = 4, r = 5*l + 6. Suppose d = -12*d + r. Which is greater: 1/2 or d?
d
Suppose 3*s = -2*j - 41, -s + 19 = -j - 2*s. Let m = 15 + j. Let w be 57/(-6) - (m - -1). Which is smaller: w or -9?
w
Let w = 30/259 - 5067/37037. Which is bigger: 0 or w?
0
Suppose -6*r - m = -10*r + 17, -4*m - 20 = -4*r. Suppose 5*j + 4 - 9 = i, 0 = -r*j + 4*i + 4. Which is smaller: 2/61 or j?
2/61
Let f be (-76)/10 + 4/(-10). Suppose 12*q - 8*q = 16. Suppose -q = 7*g + 59. Is f at most as big as g?
False
Suppose 11 = 2*p + 3*i, -3*i + 1 = -2. Let b be p/(-48) + (-4)/16. Suppose -2*h - 2*h = 4*t + 12, t - h - 5 = 0. Is t bigger than b?
True
Let z = -0.68 + -49.32. Let p = z - -51. Is p less than -2/1