1311.133. Do h and -1/2 have different values?
True
Let x = -5089 - -4094. Which is smaller: 0.05 or x?
x
Suppose 4*a + 254 = -2677*o + 2678*o, 2*a + 478 = 2*o. Which is bigger: 237 or o?
237
Let y = 411627946/1579 - 260689. Let m = y + -82783/71055. Which is greater: -1 or m?
-1
Suppose 15925 = 7*z - 32*z. Let r = 388 + z. Which is greater: r or -248?
-248
Let l be 12425/(-10) + (-3)/(-5) + 351/390. Is -8686/7 equal to l?
False
Suppose -5*x - 160 = -4*w, 4*x = 7*x. Suppose -3 - w = -o. Is 46 at most as big as o?
False
Suppose -63 = s - 9. Suppose -2443 + 499 - 865 = 53*k. Which is smaller: k or s?
s
Let q = 0.02 + 39.98. Let o = q - 39.1. Let t = o + -0.6. Is 2 less than or equal to t?
False
Let r(o) = 60 + 3*o + 44 - 123. Let y be r(7). Is 12/23 > y?
False
Let i = -315 + 321. Suppose i = 2*n, -9*n + 5*n - 58 = h. Which is smaller: -68 or h?
h
Suppose y - 3 + 9 = 3*z, -5*y + z = 2. Let o be (-3936)/(-1536) - (-5)/(-2). Which is smaller: o or y?
y
Let l = -272168525/79 + 3445080. Let g = l - -456/5. Is -1 <= g?
True
Let j = -59211 - -3730409/63. Let g = j + -14/9. Do g and 25/2 have the same value?
False
Let f be (2 - 442/222)/(39/81 + -1). Which is smaller: 0 or f?
f
Let k be -4 + 1295/110 + -8. Which is smaller: k or -0.04?
k
Let u(o) = o**3 + 6*o**2 + 9*o + 2. Let k(l) = -l**3 - 4*l**2 - 5*l - 5. Let g be k(-2). Let a be u(g). Suppose -a*v + 8 = 6. Which is bigger: v or 2/65?
v
Let a = 4329 + -6506. Does -2177 = a?
True
Let j be 7/((-14)/(-6)) - (-78)/18 - 7. Which is smaller: j or -4/819?
-4/819
Let q(g) = g**2 + 5*g + 3. Let l be q(-4). Let y = 2922 - 32163/11. Which is smaller: y or l?
y
Suppose -7*h - 42 = 46 - 109. Which is greater: h or -1947?
h
Let b(v) = v**3 - 4*v**2 + 7*v - 7. Let q be b(3). Suppose 4*o + m - 14 = 3*m, -q*m - 20 = 5*o. Let n be (-2)/(-3)*3/(-48). Are o and n non-equal?
True
Let b be (-4)/14 - (-2)/7. Let y = 2950 - 2950. Are y and b equal?
True
Let a be (-559*(-3)/30)/(580/8425). Let p = -812 + a. Which is greater: p or 1?
1
Let t = 63 + -59. Let h be 7/(-5) - (t - 19/5). Suppose 0 = f + f + 6. Does h = f?
False
Let h = -22 - -20.79. Let m = h - 5.79. Is 1/3 less than or equal to m?
False
Let m be (1 - 7/(-3))*18/15. Suppose 3*z + 5*c + 40 = -136, -m*c - 68 = z. Let o = z - -53. Which is greater: o or -2/7?
o
Let y = -115592.3 + 115593. Let s = 11.8 - 67.8. Which is smaller: s or y?
s
Suppose 9*h = -7*h + 1488. Suppose 0 = -4*j + 7*j - h. Let y = j - 28. Which is bigger: y or 4?
4
Let q = 22 - 23. Let f = 1083 - 1083.06. Do f and q have different values?
True
Let f(l) be the second derivative of -l**4/12 - 11*l**3/6 + 43*l**2/2 - 103*l. Let h be f(3). Which is smaller: 1/68 or h?
1/68
Let u(a) = 0*a - 18*a**3 - a**2 - a - 16 + 19*a**3. Let o be u(0). Let y be -1 + (-20)/o + 10/(-8). Is -5/4 at least as big as y?
False
Let z = 210.37 - 209. Let n = 0.37 - z. Which is smaller: -189 or n?
-189
Suppose 0 = 5*n + 4*i - 1, 1758*i - 1 = -4*n + 1755*i. Which is greater: n or -29/583?
n
Let b = -4398 - -4405. Which is greater: -0.316 or b?
b
Let g = 127256 + -126879. Suppose 36 = -x + 415. Are x and g equal?
False
Suppose -d - 2*i = -3, 66*i - 14 = 4*d + 61*i. Let j be 1 + 1/(219/(-222)). Is j <= d?
False
Let h = -238 - -240. Let d be 39 - ((-5)/(-1) - h). Is d not equal to 37?
True
Let g = 4/73055 + 19223/983174190. Is -1 < g?
True
Let u be (64/256)/(-2 - 14/(-8)). Which is smaller: 2/325 or u?
u
Let x(b) = b**3 + b**2 - b + 9. Let l be x(0). Suppose -l = -z + 4. Suppose -3*v = -z*v + 270. Do v and 27 have different values?
False
Suppose 0 = y + 2*h - 37, 176 = 5*y + 59*h - 58*h. Is y equal to 135/4?
False
Let t = -0.7 + 0.7. Let f = 18 - 18.9. Let x = f - -0.7. Is x bigger than t?
False
Let u(q) = -q**2 - 3*q + 8. Let m be u(-4). Suppose 5*n = 5*h + 17 - 2, -4*h - 4 = m*n. Which is smaller: n or 8/9?
8/9
Let k = 10162 - 9719. Which is smaller: 16 or k?
16
Let g be ((-4)/6)/((-5)/((-345)/(-529))). Which is smaller: g or -81?
-81
Let y = 545.3 + -545.4424. Is y bigger than 2?
False
Suppose q + 3*g - 982 = -2970, 5*g = q + 1964. Are 1 and q equal?
False
Let h be -3*157/18*66/(-11). Do h and 130 have different values?
True
Suppose -3*i + 4*t = -15, 3*i + 4*t - 8 - 7 = 0. Suppose i*v - 4*p + 171 = 0, -2*p + 38 = -2*v - 30. Suppose -923*m = -896*m + 918. Is m greater than v?
True
Let c(s) = 213*s - 11917. Let y be c(57). Is 204 equal to y?
False
Suppose 72*h + 4*a = 75*h - 521, -549 = -3*h - 3*a. Which is bigger: h or 177?
h
Let u be ((-2)/3)/((-88)/(-24)). Which is smaller: u or 36/7?
u
Let p(z) = 37*z**3 - 9*z - 31*z**2 + 25*z - 5 - 3 - 35*z**3. Let v be p(15). Is 2 smaller than v?
True
Suppose -m - 778*y = -776*y - 5875, -5*m = y - 29339. Is 5867 bigger than m?
False
Suppose 2482*b - 2454*b = -11116. Let z(g) = 66*g - 2. Let p be z(-6). Is p at least as big as b?
False
Let m = -0.192 - 0.063. Let v = m - -2.255. Which is smaller: -140 or v?
-140
Suppose 0 = o + 6*n - 9*n, -3*n = -3*o. Suppose 4*r - r - 6 = o. Is -32 != r?
True
Suppose 2*s - 304 = 60*b - 338, 0 = -3*b - 2*s + 29. Suppose 2*i = 3*i - 80. Let m = -961/12 + i. Which is bigger: m or b?
b
Let t be (-5 - 2 - -4)/(81/(-3699)). Suppose -4*y = -2*r - 12, -2*y - 4*r = -28 + 2. Suppose 2*s = 2, -4*j + j + t = y*s. Is j less than or equal to 44?
True
Let x = -8874/25 + -53231/25. Let c = -2473 - x. Is c bigger than 11?
True
Let v(n) = 2*n**2 + 14*n + 11. Let g(h) = -6*h - 120. Let c be g(-19). Let p be v(c). Let u = 1295 + -249934/193. Which is greater: u or p?
u
Let b = -187 + 192. Suppose b*g = 10, 4*n = -g - 2*g + 22. Is n smaller than 2?
False
Let s(t) = t**3 + 2*t**2 + t - 4. Suppose -34 = 5*g - 19. Let w be s(g). Which is smaller: w or 0?
w
Let k be (-3 - -2)/2*3136/11460. Let z = -4085492/573 - -7130. Let o = z - k. Which is bigger: o or 0?
o
Let h = -4437 - -4438. Which is greater: h or -0.1167?
h
Let a = 0.67 - 60.67. Is a at least 32?
False
Suppose 4*x + 4*k + 1256 = 0, 0 = -3*x - 0*k + 2*k - 967. Let s = -133 - x. Which is smaller: 185 or s?
185
Suppose -14*l - 18*l = -512. Let y = 65 + l. Is y at most 81?
True
Let g(j) be the second derivative of 5*j**3/3 - 9*j**2/2 + 3*j - 23. Let h be g(2). Which is smaller: 5 or h?
5
Let s = -4 - -11. Let g = 1.31 - 35.31. Let b = g + 33. Is s < b?
False
Let j = 98.854 - 0.154. Let z = 93.828 - -0.172. Let h = j - z. Which is bigger: h or -1?
h
Let a = -2856.8 + 2785. Which is smaller: -1/4 or a?
a
Suppose 3*p - 68 = 7*p. Suppose -3*c - 5*a - 180 = 2*c, 16 = -c + 4*a. Let s = c - p. Which is smaller: 0 or s?
s
Let w be 456/84 - -3 - 3*3. Which is smaller: 28 or w?
w
Let d(s) = -312*s - 1561. Let c be d(-5). Is -1/916 not equal to c?
True
Let q(i) = -180*i - 120. Let b be q(-5). Suppose 45*a + b = -435. Which is smaller: a or -30?
-30
Let n = 286 + -205. Let t be 1 + (2 + 2 - n/3). Do t and -230/11 have different values?
True
Let t be (-2 + (-45545)/22780 + 4)/((-6)/(-36)). Is t at least -1?
True
Let o = 836/15 + -5822/105. Is 26.88 greater than or equal to o?
True
Suppose 5*r - 3 = -q, 19*r - 17*r + q = 0. Let s = -50 - -49.51. Is s at most as big as r?
True
Let q = -66081 + 66081. Let b be (-474)/(-1864) - (-1)/(-4). Which is smaller: q or b?
q
Let t = -134 - -428. Let q = -63 + t. Let f = 14093/61 - q. Which is smaller: f or 1?
f
Suppose 4*b = 2*x + 2594, 15*x - 13*x = -6. Are b and 647 equal?
True
Let q be (0 - (133 - -1))/(80/80). Let i = q - -123. Which is greater: 2 or i?
2
Let z be (-412)/(-1260) + (-13)/65. Which is smaller: -1 or z?
-1
Let y = -725 - -844. Let m = y - 215. Which is smaller: -2 or m?
m
Let s = 4825 - 4775. Let u = 162 - 110. Are s and u equal?
False
Suppose -3*u = 4*s - 0 - 36, 2*s - 10 = -u. Let m be (-4)/u + (-2975)/644 + 5. Suppose 0 = 3*x, -2*v = -5*x - 6 + 4. Is m != v?
True
Let a be (60/3)/4 + (-448)/(-128). Let x be (-10)/(1 - -2 - 5). Suppose x*l - 2*h = -0*l + 49, h = l - 11. Which is smaller: a or l?
a
Let u = -1 + -1. Let d be (-118)/(-295) + (-26)/15 - (-2)/42. Which is smaller: u or d?
u
Let r = 140.8 - 153. Let y = r + 12.6. Is -1/3 at most as big as y?
True
Let l(r) = 53*r + 3711. Let d be l(-70). Is -51/896 > d?
False
Let x = 21 + -18. Suppose x*a + 103 = 37. Suppose 0*i + 2*i + m = -39, -m + 49 = -2*i. Are i and a non-equal?
False
Suppose 4 = 2*g, -5*l - 3*g + 8 = 137. Let p 