48
Let q = -34 - -43. Suppose q*l = -63 + 603. Let r = l + -59. Are r and -2/9 non-equal?
True
Let o = 173/3146 - 2/121. Let z(y) = -y**2 - 7*y. Suppose -16 = 3*d + x, 0*d - 9 = 2*d + x. Let n be z(d). Which is bigger: o or n?
o
Let u = 10016 + -10016. Is u greater than 5743?
False
Let q be -11 - (549/(-99) + 3). Which is greater: q or -9?
q
Let a be 489140/(-90) + (-6 - -9)*2/(-54). Are -5435 and a nonequal?
False
Suppose 1478 = -3*c + 1475. Suppose 4*o + 29 = -43. Let f = -5 - o. Is f greater than or equal to c?
True
Let z = 27749.113 + -27749. Let y = -5/6 - -4/3. Which is smaller: z or y?
z
Let u be (-5)/(50/(-70)) - (-1330 - (0 - -1)). Is u at most as big as 1337?
False
Let l(g) = g**3 + 4*g**2 - 2*g. Let u be l(-5). Let t = u + 16. Does 1/32 = t?
False
Suppose 2*i - 4 = -5*y + 17, -4*y + 3*i + 3 = 0. Let d be y/(-1) - (455/(-63))/5. Is -2 != d?
True
Let s(m) = -m**2 + 4*m + 10. Let p be s(7). Suppose 33644 - 33634 = 2*v. Is v not equal to p?
True
Let r = 0.208 + -121.208. Let z = 121.76 + r. Let d = 0.76 - z. Which is bigger: -6 or d?
d
Let d = 134.0159 + -0.0159. Let w = 133.3 - d. Is 1/41 > w?
True
Let v be 384/(-9) + 2/5*50/30. Let o = 11 - 8. Let u = 2 - o. Which is greater: v or u?
u
Let u(z) = 3*z - 27. Let r(c) = -c + 9. Let j(p) = 17*r(p) + 6*u(p). Let d be j(10). Let y = -482 - -463. Which is smaller: y or d?
y
Suppose 0*g - 5*d = 2*g - 11, -3*g + 2*d - 31 = 0. Let n = -594 + 581. Which is smaller: n or g?
n
Suppose 2*h = -0*h + s + 37, -3*h - 5*s = -88. Let b be 4 - (-1)/(h/(-30780)). Let f = b + 1468. Is 6 greater than f?
False
Let h(p) = -31*p**3 - 8*p**2 - 9*p - 25. Let d be h(-5). Do d and 3695 have different values?
False
Suppose -5*j = s + 211, -4*j - 12 - 153 = -3*s. Let u be (3 - 2 - 6)*(-21)/15. Suppose 4*k = 2*q + 86, -u*k = -2*q - 6*k - 86. Is j < q?
False
Suppose 1293 - 4269 = -16*j. Let k be 3/j*(16 + -18). Let g(r) = r**2 - 5*r + 4. Let b be g(4). Which is greater: b or k?
b
Let h(m) = -4*m. Let x be h(-4). Let w = 428 - 385. Let k = x - w. Are k and -28 nonequal?
True
Let v(x) = -24*x**3. Let h be v(1). Let k(t) = -t - 11. Let s be k(-15). Let o be (0 - 5/s)*20. Are h and o non-equal?
True
Let a be -6 + -7 + 14/1. Suppose -4*m - 4 = 0, 0*m + 1 = z - m. Which is smaller: a or z?
z
Let d be 158 + (4 + 0 - 9). Let j = -32 + d. Which is bigger: j or 120?
j
Let u = 34 - 36. Let w = -34 - -33.67. Let v = -21.67 + w. Which is smaller: v or u?
v
Let b = 45 - -127. Let f = b + -474. Is -304 greater than f?
False
Let b(j) = -1086*j + 2174. Let c be b(2). Let n = -6 + -1. Which is smaller: n or c?
n
Let m = 1993 - 915. Suppose 2*b - 23*z - m = -19*z, 0 = 2*b - 3*z - 1081. Is b greater than 545?
False
Let c be (-1)/((-4)/(152/2)). Let b(t) = 7*t - 61. Let p(o) = 4*o - 31. Let k(q) = 3*b(q) - 5*p(q). Let i be k(c). Is i at most as big as -8?
True
Suppose 4*m + 5*y + 11039 = 0, -m + 3*m + y + 5515 = 0. Let d be 2/(-14) + m/(-182). Let z be 1/2 - (-27)/2. Is d greater than or equal to z?
True
Suppose 35 = 7*z + 35. Let m be (z - -3) + 132/(-48). Is -0.106 at most m?
True
Let u be 170/1190*7/(-2)*2772. Is u greater than or equal to -1380?
False
Let d be (54/4)/9*(-66)/(-45)*5. Let m(o) = o**3 - 4*o**2 - 3*o + 2. Let k be 1 + 6 + -2 + 0. Let q be m(k). Is q <= d?
False
Let p be (301/(-98) - -3)*0. Which is greater: 3/16369 or p?
3/16369
Let z(d) be the second derivative of -d**4/12 + 5*d**3/6 + 8*d**2 + 3*d - 12. Let i be z(7). Let f be ((-14)/(-21))/(34/(-6) - i). Does -1 = f?
False
Suppose -4*h = -5*z + 29, h + 3*h - 2*z + 26 = 0. Let q(d) be the first derivative of -d**3/3 - 2*d**2 + 3*d - 36. Let w be q(-6). Is w equal to h?
False
Suppose -4*u + 2 = -2*o, 4*u = -o - 1 - 6. Let n be (-1121)/(-7847) - ((-1)/6 + 879/2331). Is n equal to u?
False
Let q = 449 - 143. Let g be q/12*(0 - 12/9). Let a = -27 - g. Is 7 bigger than a?
False
Suppose 47*k - 56*k - 2844 = 0. Let n = k + 1727/6. Is -28 at least n?
True
Suppose -11*d + 10*d - 1590 = 9*d. Which is bigger: 4 or d?
4
Let s = -1683 + 1682. Are 26 and s non-equal?
True
Let r = -86.32 - -128.32. Is r at least as big as 0.4?
True
Suppose 0 = -2*l + 4 - 0. Suppose -i + 2968 = -3*i + n, -i = -l*n + 1490. Let z be -1*4 - 5940/i. Is z not equal to 1?
True
Let f be 8/(-10)*(-70)/4. Let l = 85.553 + -85.673. Which is smaller: f or l?
l
Let v be 2 + (-30)/7 + 2. Let p = -90.242 - -90.242. Which is greater: p or v?
p
Let u = -21 - -43/2. Let a = -934 - -824. Is u smaller than a?
False
Let q = -9134.1 - -9567. Let u = q + -433. Let p be (-13)/7 - (1 - 3). Is p at most u?
False
Let a = -970 - -968. Is a bigger than -1/3?
False
Let h be -4*4/(-8) + -3 - -2. Which is greater: 1/7137 or h?
h
Let l = -962431/66 + 43561/3. Let r = l + 62. Which is smaller: -1 or r?
-1
Let a = 7153 + -7152. Let r be 244/(-1260) + (-2)/(-9). Is a >= r?
True
Let r = -1598 + 1065. Which is smaller: -531 or r?
r
Suppose -12*b + 9*b + 48 = 0. Let g be (4/b)/(1/4). Is 4/41 > g?
False
Let u be (1*4/3)/((-12)/(-9)). Let f be 5*(u + (-11 - -3 - 2)). Let n = 81 + -127. Is f >= n?
True
Let o = -132 - -134. Suppose -o = -7*i - 646. Is i <= -91?
True
Let b be (-1350)/270 - 494/(-102). Which is greater: 11 or b?
11
Suppose 22*d - 27 - 39 = 0. Let m be (-42)/49 - d/21. Let g = -5240/19 + 276. Is m bigger than g?
False
Let z = 139612.5 + -139620. Let x = 8 + -6. Are x and z non-equal?
True
Let k = 3308 - 3554. Is -246 at least k?
True
Let h be ((-1594)/(-400) + -4)/((-18)/147612). Let f = h + -123. Which is smaller: -0.3 or f?
-0.3
Let h be 140/1530 - (-3)/(-27). Is h at most -0.034?
False
Let y = -46 + 73. Let i be ((-2)/(-6))/((-9)/y) - -2. Let m be (-2 + (-10)/(-6))*(i - 2). Is m at least as big as -16/7?
True
Let w = 1.24571 + -63.17871. Let v = w - 0.067. Let y = v - -61. Is -2.3 at most as big as y?
True
Let c = -31 + 167. Let o be 0 + (830/c)/5. Let k = o + -42/17. Which is smaller: 2/15 or k?
k
Let a be 2/1*1/(-3). Let l = -55338 + 55205. Is a at least l?
True
Let m = -96 + 1058/11. Let y = 157913.09 + -157913. Which is bigger: m or y?
m
Let n = 11/21 - -1/7. Suppose 6*l - 11*l + 25 = 0. Suppose 1 = -5*t + 5*r - 14, -l*t + 21 = 4*r. Which is smaller: n or t?
n
Suppose 5*j = -24*b + 21*b - 2103, 2127 = -5*j + 3*b. Let g = j + 423. Let k = -0.1 - -0.3. Which is greater: k or g?
k
Let l = -1455 + 112023/77. Suppose -2*j - 38 = 36*j. Are j and l equal?
False
Suppose -3*u + 567 = 4*u. Let q = u - 64. Let n(o) = o**2 - o - 5. Let x be n(-4). Does q = x?
False
Let y be (-10)/(-5) + (-9 - -37). Suppose -349*n + 355*n = y. Which is greater: 3 or n?
n
Let x = 2945167333/73 + -40343731. Let i = -1027 + x. Is 0 bigger than i?
True
Suppose -2*g + 379 + 13 = 0. Let x be 5607/g - (-1)/4. Are 29 and x non-equal?
True
Let z(s) = 5*s**3 - 4*s**2 + 2*s + 4. Let d(o) = -o**3 - o**2 + o - 1. Let k(m) = -4*d(m) - z(m). Let u be k(8). Let w = 67 + u. Which is greater: w or 20?
20
Let v be ((-2)/(24/693))/((-5)/(-20)). Let u = v + 233. Which is smaller: u or 11/8?
11/8
Suppose 6*t - 533 = -7*t. Let l = t + -36. Suppose 5*a - 55 + 390 = 5*x, l*a = -4*x + 232. Is 62 > x?
False
Let r(a) = 4*a - 7. Let u = 153 + -151. Let i be r(u). Do i and -3/11 have the same value?
False
Let r(u) = -50*u + 353. Let x be r(7). Suppose 3*g - x*v = -g - 100, -5*g - 2*v = 148. Is g <= -2?
True
Suppose -3*v + 1500 = -y, -4*v + 5*v + 3*y - 500 = 0. Suppose q = 11*q - v. Let m(f) = 12*f + 3. Let k be m(4). Which is smaller: k or q?
q
Suppose 10*v + 2*m - 971 = 7*v, -996 = -3*v + 3*m. Let n = -2619/8 + v. Which is greater: 4/31 or n?
4/31
Let q be (2 + (-88)/24)*24. Let d be 206/q - (43 + -48). Are d and 1/2 equal?
False
Let a = -36046 - -22550. Is -13496 greater than or equal to a?
True
Let x = -86795/2123 - -450/11. Is x at least -1?
True
Suppose -231 + 213 = -2*k. Let w = -136/15 + k. Does w = -3?
False
Let o be 4 + (-190032)/630 - 5/(-75). Which is bigger: o or -299?
o
Suppose 2*i + 2*r = 24, 2*i + 0*i - 3*r = 24. Suppose -4*c + c = 3*c. Let j be c - (435/(-70))/((-2)/(-4)). Is j greater than or equal to i?
True
Suppose 183*n = 1007 + 1372. Is n bigger than -12?
True
Let k(q) = -q**3 + 9*q**2 + 4*q + 15. Let c be k(-6). Let m be 3/70*c/(-27). Let f = m + 7/10. Which is greater: 3 or f?
3
Suppose 40*s = 15*s - 25. Let g be 1401/(-705) - -1*(-2)/s. Is -1 bigger tha